继续教育证明

继续教育证明（共12篇）

1.继续教育证明 篇一

一、曲线有水平切线———导出罗尔定理

首先观察图1，在平面直角坐标系里有一条连续的曲线ACB，其函数y=f (x） (x∈[a, b]），两个端点分别记为A, B，这条曲线除端点外处处有不垂直于x轴的切线，且两个端点的纵坐标相等，即f (a）=f (b）.不难看出在曲线的最高点C处（还有最低点），曲线有水平的切线，这条切线正好与端点的连线AB平行（弦AB的斜率kAB=0）.如果记C点的横坐标为ξ，那么由导数的几何意义可以得f'（ξ）=0.用分析的语言来描述这一几何现象就可得到———

罗尔定理若函数f (x）满足条件：

(1）在闭区间[a, b]上连续；

(2）在开区间（a, b）上可导；

(3) f (a）=f (b），则在（a, b）内至少存在一点ξ，使得f' (ξ) =0.

证：因为f (x）在[a, b]上连续，所以由连续函数的最大最小值原理知，f (x）在[a, b]上可取到最大值M和最小值m，现在分两种情况分别讨论如下：

1. 若M=m，则f (x）≡M（或m），此时该函数f (x）为常数函数，故其导数恒等于零。于是在（a, b）上任意取一点ξ，都有f'（ξ）=0.

2. 若m<M，即最大值与最小值不相等，而两个端点的函数值相等，从而至少有一个最值不在端点取得。不妨设最大值不在端点取得。从而知存在ξ∈（a, b），使得f（ξ）=M.以下来证明f'（ξ）=0.

由于f（ξ）=M是最大值，所以恒有f（ξ+Δx）-f（ξ）≤0, ξ+Δx∈ (a, b) .

由于式（1）、（2）同时成立，从而有f'（ξ）=0.

综合以上两种情况，罗尔定理得证。

从罗尔定理的导出可以看出，利用几何直观对于问题的条件与结论都易于理解。就经济管理类专业而言，其证明即使未完全掌握，也完全可以弄清罗尔定理的条件与结论。

二、曲线有倾斜切线———导出拉格朗日中值定理

以下再来观察图2，在平面直角坐标系里有一条连续的曲线ACB，其函数为y=f (x） (x∈），两个端点分别记为A、B，这条曲线除端点外处处有不垂直于x轴的切线，不难看出在曲线的C处（图中还有一处）有切线平行于两端点的连线AB.如果记C点的横坐标为ξ，那么由导数的几何意义知ξ处的切线斜率为f'（ξ），而弦AB的斜率为

综上所述可知，平面内以A、B为端点的连续曲线弧处处有不平行于y轴的切线时，则在曲线内至少有一点，其切线平行于弦AB.用分析的语言来描述这一几何现象就得到下面微分学中十分重要的———

拉格朗日中值定理若函数f (x）满足下列条件：

(1）在闭区间[a, b]上连续；

(2）在开区间[a, b]上可导；

则在（a, b）内至少存在一点ξ，使得f'（ξ）=

分析将坐标系绕原点在平面内的旋转，使得在新坐标系“XOY”下，线段AB平行于新坐标系的X轴，于是就有了F (a）=F (b）.F (x）的几何意义，正是曲线y=f (x）与直线之差，这样就有了作辅助函数的方法。

证：作辅助函数，易知，F (a）=F (b）=0，且F (x）在[a, b]上满足罗尔定理的另外两个条件，故存在点ξ∈（a, b），使得，即定理得证。

从拉格朗日中值定理的导出同样可以看出，利用几何直观对于问题的条件与结论都易于理解。就经济管理类专业而言，证明过程中辅助函数的作法一般不易想到，但定理的条件与结论是直观的，而且是不难接受的。

关于拉格朗日中值定理，再作以下几点说明：

(1）从几何直观上看，易知罗尔定理是拉格朗日中值定理当f (a）=f (b）时的特例；

(2）该问题是将一般情况转化为特殊情况，将复杂问题转化为简单问题的论证思想，它是数学中重要而常用的数学思维方法。这里又是通过几何直观来提供一个构造辅助函数的方法的思路，使得粗象的构造辅助函数的思想变得直观而易于理解；

(3）拉格朗日中值定理的结论常称为拉格朗日公式，它有几种常用的等价形式，可根据不同问题的特点，在不同场合灵活采用：

(4）以下推论1实际上是利用拉格朗日中值定理研究函数的典型例子之一，从几何图形上看又是直观的：如图3，在平面直角坐标系中连续的曲线AMB的切线处处是水平的（即斜率满足f'（ξ）堍0），则该曲线必定是一条水平的直线（即函数必为常数函数y=f (x）堍c， (x∈[a, b]）.此时曲线上任意一点处切线与曲线重合。

推论1若函数f (x）在区间（a, b）上的导函数f'（x）堍0，则f (x）是一个常数函数。

证：对于区间（a, b）上的任何两点x1, x2，不妨设x1>x2则在f (x）在[x1, x2]上满足拉格朗日中值定理的条件。根据该定理，有f (x2）-f (x1）=f'（ξ）（x1, x2）=0，这就是说，f (x）在区间（a, b）上的任何两个值都相等，所以为常数函数。

(5）以下推论2是利用拉格朗日中值定理研究函数的另一个典型例子之一，从几何图形上看同样是直观的：如图4，平面直角坐标系中的两条连续的曲线A MB、A'M'B'在区间 (a, b) 内处处有不垂直x轴的切线, 且两曲线的切线处处是平行的 (即斜率满足f' (ξ) =g' (ξ) (ξ∈a, b) ) , 则两条曲线中的一条曲线y=f (x) 是由另一条曲线y=g (x) 轴方向平移得到的 (即满足f (x) =g (x) +C) .

推论2若函数y=f (x）和y=g (x）均在区间（a, b）上可导，且f'（x）=g'（x），其中x∈（a, b），则在区间（a, b）上，函数f (x）与g (x）只差一个常数，即存在常数C，使得f (x）=g (x）+C.

证：令F (x）=f (x）-g (x），由推论1, F (x）=C，所以有f (x) =g (x) +C.

三、曲线由参数方程表示有切线———导出柯西中值定理

类似地，利用拉格朗日中值定理的几何意义及参数方程的知识可推出柯西中值定理。如图5，设该曲线的参数方程为∈Y=f (x) X=g (x） (a≤x≤b），其中x为参数。

那么曲线上的点（X, Y）处切线的斜率为，弦AB的斜率为，假设点C对应于参g'（x) g (b）-g (a) 数x=ξ，那么曲线上点C处的切线平行于弦AB，可以表示为.用分析的语言表示即为———

柯西中值定理若满足条件：

(1）函数f (x）, g (x）在闭区间[a, b]上连续；

(2）函数f (x）, g (x）在开区间（a, b）上可导；

(3）在开区间g'（ξ）内不为零；则在（a, b）内至少存在一点ξ，使得.

证：首先由拉格朗日中值定理，知g (b）-g (a）=g（ξ）（b-a）≠0，类似于证明拉格朗日中值定理时分析作辅助函数的方法，作辅助函数：

显然，F (x）满足罗尔定理的条件，所以存在点ξ∈（a, b），使得F' (ξ) =0,

不难看出，拉格朗日中值定理是柯西中值定理当g (x）=x时的特例，柯西中值定理最重要的应用是导出求不定式极限的非常好用的洛必达法则。

有了微分中值定理，一些从几何现象上看并不直观的函数关系的数学命题，运用微分中值定理容易给出其理论证明，显示出了微分中值定理运用导数知识去研究函数性态的桥梁的重要作用，仅举以下几例：

例1证明：当a>b>0时，

证令f (x）=lnx, x∈[a, b]，则f (x）在[a, b]上连续，在（a, b）内可导，由拉格朗日定理得 (a<ξ<b），由于得故

例2证明：当x>0时，成立不等式

分析：注意到x>时，则对于f (t）=lnt，在区间[x, 1+x]上，有f (1+x）-f (x）=ln (1+x）-lnx，可考虑运用拉格朗日定理进行证明。

证明：令f (t）=lnt，则f (t）在[x, 1+x]（x>0）上满足拉格朗日定理条件，从而有f (1+x）-f (x）=f'（ξ）（1+x-x）， (0<x<ξ1+x），即ln (1+x）-lnx=.

例3当x>0时，试证：若ex=1+xexθ（x）（其中0<θ（x）<1），则lxi→m0θ（x）=.

分析：移项可得ex-1=xexθ（x），易知，等式左边为函数f (t）=e'在[0, x]上的增量形式，而右边与θ（x）有关，可考虑运用拉格朗日定理进行证明。

证明：令f (t）=e'，则当x>0时，f (t）在区间[0, x]上满足拉格朗日定理条件，因此有f (x）-f (0）=f'（0+（x-0）θ（x） (x-0））， (0<θ（x）<1），由上式，解得，即θ故

摘要：本文结合经济管理类专业的实际, 给出从几何问题出发证明微分中值定理的思维过程, 使得所讨论的问题的条件与结论都易于理解, 证明中值定理过程中通常认为不易想到的作辅助函数的困难也变得易于接受。

关键词：微分中值定理,几何现象,辅助函数

参考文献

[1]柴慧琤.微分中值定理证法的几何解释[J].数学通报, 1991, (2) .

[2]同济大学应用数学系.高等数学上册 (第5版) [M].北京:高等教育出版社, 2003.

2.无证明星如何继续当主持 篇二

国内主持人一般受过专业培训，持“播音员主持人证”上岗，许多少年宫和传媒院校都有给孩子们开设的“主持人班”。类似主持人的行当，一直可以追溯到明朝，昆曲中的“副末”就是专门介绍剧情的角色，而在清朝中期兴起的京剧中不再出现，报幕功能由戏单、水牌替代。这么说来，出于行业传统，把嘉宾和主持人定位成两个工种，并没有太大问题。

然而出于明星效应，当下由嘉宾主控全场已经很普遍，比如《欢乐喜剧人》里的吴秀波、《最强大脑》里的蒋昌建以及《我是歌手》里的羽·泉和张宇，担任的都是主持人的角色。

最早使用明星主持人的其实是央视，脍炙人口的1983年春晚就由姜昆、马季和刘晓庆担纲主持。在冯小刚任导演的2014年春晚上，有过多次晚会主持经验的张国立也来客串了一把。他们没有主持人从业资格证书，和电视台不存在雇佣关系，都算是“嘉宾主持”。

这一次整改，真正受到冲击的是使用明星主持群模式以及由“无证人员”把控全局的节目，对于这些节目来说，如何才能为无证明星正名呢？

吴秀波也得考证 根据广电总局2004年发布的《广播电视编辑记者、播音员主持人资格管理暂行规定》，国家对主持人实行资格认证，主持人需要通过考试，注册并取得执业凭证。

两本证书是关键—普通话水平测试等级证书（一般要求一级乙等，国家级和省级得达到一级甲等）和播音员主持人资格证。普通话考试任何人都能参加，语言功底还不错的人如果认真准备，通过的难度不大。福建人和国际友人可能需要额外下一些苦功。

取得播音员主持人资格证则得具备相应的专业知识和从业经验（一年以上），让吴秀波去电视台实习一年确实也比较为难。

想要拓宽星路的年轻艺人则容易解锁这个新的挑战，最好在校期间就考下主持人证书。毕竟中国的电视人背负着推广普通话的使命与义务。

给嘉宾配上有证的助理 自带粉丝的明星的确对节目收视率贡献良多，比如羽·泉在《我是歌手》里口误后自罚做俯卧撑就增加了节目笑点。汪涵曾经在《我是歌手》总决赛上开玩笑说，主持人的饭碗都要被这样的明星主持人抢走了。

如今许多真人秀、选秀节目当中，作为导师或者评委的明星嘉宾往往是现场的真正把控者，主持人几乎只充当报幕员的角色，这使得嘉宾的言行对节目的影响逐渐吃重。乐嘉在《超级演说家》录制现场醉酒并口吐不雅词语，就一度造成现场失控。

最直接的处理方法是剥离嘉宾在节目中的串场、引导等功能，去除他们的主持属性，让有资质的主持人行使这些职能。没有持证的艺人如果串场交流算违规，不妨给每位明星搭配个有证的助理，替明星说出以下的串场词：

“请看大屏幕！”

“有请张艺谋导演，有请！”

“请出护宝锤！”

没有主持人，或者，根本没有人 对主持人的资质清查和职务行为信息管理可能跟一些负面新闻有关。

不久前吸毒后坠亡的边策生前担任央视电影频道《世界电影之旅之资讯快车》节目主持人。不过他并非央视的在编人员，按照央视电影频道的说法是—“没这个人”。

《金星脫口秀》将这一精神发挥到了极致。该节目制片人李建中认为，他们的节目从来就没有主持人一说，“金星名字出来时，从来不会打‘主持人’的字幕”。

另一种办法是推出初音未来这样的虚拟人物，或者干脆用动物，熊猫和喵星人都是不错的选择。最近在日本SBK电视台担纲新闻主播的，就是一条日本柴犬。

3.数学证明教学探讨 篇三

什么是数学证明呢?许多人认为数学证明是根据相应的公理, 法则等来说明结论是正确的一种活动, 这只是数学证明的表面, 数学证明的实质是根据相应的原理, 法则, 公式等, 通过数学上的演绎推理来说明结论是正确的一种活动, 由于数学的本质及其组织以及构造方式的特点, 决定了数学证明只能是一种演绎证明, 数学证明有下面四个主要的意义和作用:

1.1 核实作用。

数学命题有真有假, 在许多场合中, 命题的真实性不是显然的, 这时, 要判断真假就需要借助于一些方法:观察, 实验, 数学证明等等。比如通过实验的方法我们可以发现“三角形的内角和是”这是真命题, 具有无可辩驳的说服力, 可以核实一个命题的真假。

1.2 理解作用。

数学证明有助于增进理解, 包括增进对所证命题的理解以及在证明该命题过程中所用到的相关的数学知识的理解。同时, 通过数学证明还可以使人们寻找新旧知识之间的联系, 使人们获得的知识系统化。

证明一个命题的真假时, 需要灵活的运用相应的公理, 定理以及其它的条件。因而, 通过数学证明, 在核实某个命题真假的同时, 也增加了对证明过程中所涉及到的知识的理解。在证明某个命题的时候要用到另外的命题, 那么, 这些命题之间的一定有内在的联系, 寻找它们之间联系的桥梁就是数学证明。

1.3 思维训练作用。

证明数学命题的过程可以训练和培养学生的逻辑思维能力以及数学的交流能力, 使人们形成严谨的治学态度。数学证明是一种演绎证明, 它的每一步都力求准确, 这对人们良好的思维能力的培养是有很大的作用的。

2 数学证明方法及讨论

一个数学命题往往可以有不同的思路来思考证明, 思路不同, 所产生的影响不同, 证明方法也不同, 对于不同的数学命题的证明也可以有许多不同的思路, 不同的方法。

2.1 综合法和分析法。

综合法是从命题的条件出发, 经过逐步的逻辑推理, 最后达到要证的结论的方法。分析法则是从要证的结论出发, 一步一步的搜索下去, 最后达到命题的已知条件的方法。

2.2 直接法和间接法。

直接法是从命题的条件出发, 根据已知的定义, 公理, 定理等等直接推断结论的真实性的方法。凡是用演绎法证明命题真实性的证明方法都是直接法。有些命题用直接法证明比较困难, 有的在特定的场合甚至找不到直接证明的根据, 这时可证明与原论题相矛盾的判断是假的, 或考证它的等效命题, 结果也能间接地达到目的。这种不是从正面证明论题真实性的方法叫做间接法。

2.3 数学归纳法

我们采用记号P (n) 表示一个与自然数n有关的命题, 把它们都写出来P (1) , P (2) , P (3) ……

事实上, 如果满足下面两个条件:

(1) P (1) 成立 (即当n=1时命题成立)

(2) 只要假设P (k) 成立 (归纳假设) , 由此就可得P (k+1) 也成立 (k是自然数) 就能保证这一大串 (无数多个) 命题P (1) , P (2) , P (3) ……都成立。

我们把此叫做数学归纳法原理, 根据数学归纳法原理, 我们在证明时可以相应的按照以下两步进行:

(1) 验证P (1) 是成立的。

(2) 假设P (k) 成立, 证明出P (k+1) 也成立。

由 (1) , (2) 可得对于任意的自然数n, 命题P (n) 都成立。

这是数学归纳法最基本的形式, 通常称作第一数学归纳法。

3 数学教学中推理能力的培养

推理包括演绎推理和合情推理, 这两者是相辅相成的。长期以来, 中学数学教学一直强调教学的严谨性, 过分渲染逻辑推理的重要性而忽视了生动活泼的合情推理, 使人们误认为数学就是一门纯粹的演绎学科。事实上, 数学发展史上的每一个重要的发现, 除演绎推理外, 合情的推理也起重要作用。

合情推理能力的培养是一个长期的过程。演绎推理的意识和能力的培养要在学生的认知水平和抽象能力达到一定程度以后才能逐步开始, 学生对证明的意义、证明的方法、证明的基本要求以及严格的证明格式等的掌握都不是一蹴而就的。

在数学教学中学生推理能力的培养, 可以通过几何的教学来实现, 也可以通过数与代数、概率与统计、实践与综合应用等教学活动来训练。我认为主要可从以下几方面入手:

3.1 激发观察兴趣。

观察是人们认识客观世界的门户, 观察可以调动学生的各种感官, 在已有知识的基础上产生联想, 通过观察还可以减少猜想的盲目性。同时观察力也是人的一种重要能力, 对于数学学习中各种能力的培养具有直接或间接的促进作用。

3.2 启迪数学猜想。

数学猜想是数学研究中合情的推理, 是数学证明的前提。只有对数学问题的猜想, 才会激发学生解决问题的兴趣, 启迪学生的创造思维, 从而发现问题、解决问题。数学猜想是在已有数学知识和数学事实的基础上, 对未知量及其规律做出的似真判断, 是科学假说在数学的体现, 它一旦得到论证便上升为数学理论。

3.3 利用数学归纳。

数学归纳是思维过程中从特殊到一般的推理, 也是合情推理的主要形式之一。勾股定理、元素周期表等的发现都是应用归纳推理的典型例证。有的人对用归纳法证题不太感兴趣, 因为对不同问题总是使用那几个固定程序。不能因为数学归纳法看似单调平凡就忽略它的重要性。正是在学习运用归纳的过程中, 学生才不断地体会到“分析”、“假设”、“结论”等多种数学环节。

3.4 培养反思能力。

所谓反思, 就是从一个新的角度, 多层次、多角度地对问题及解决问题的思维过程进行全面的考察、分析和思考。反思性学习就是学习者对自身学习活动反思的过程, 以及活动过程中所涉及的有关的事物、材料、信息、思维、结果等学习性的反向思考, 通过反思性学习可以帮助学生学会学习, 可以使学生的学习成为探究性、研究性的活动, 增强学生的能力, 提高学生的创造力, 促进他们的全面发展。

4.继续教育证明 篇四

2014年11月，央视报道了一则名为《宁静小镇卖子成风》的新闻，其中提到福建省长汀县警方通过DNA检测确认，该县童坊镇上一户童姓人家的“儿子”并非亲生，但这名男孩是以童家亲生儿子的名义上了户口。

经警方调查，这名男孩其实是童家买来的，为了给孩子上户口，童家找了中介买了张出生医学证明，“花了1000元在广东买的”。童家正是拿着这份证明，通过了福建当地派出所的检验，顺利给孩子上了户口。

这份买来的出生医学证明上盖着“铁涌镇卫生院”的公章，并写着一名梁姓医生的名字。福建警方专门到广东惠东县铁涌镇卫生院调查，结果发现医院保留着这个孩子从产妇入院到孩子分娩的全套住院记录，意味着这是一张“真证”。

1月9日，央视记者前往该医院，并找到了在出生证上签字的梁医生。记者谎称由于福建警方已经查出孩子并非家庭亲生，所以没收了原来的出生证，希望医院方面能重新补办一张。听闻记者的来意，梁医生显得非常紧张，压低声音说：“出生证在这里补办可能补不到，要河源的，我可以帮你找。”在打了一通电话后，梁医生表示，“要过两天才买的到，要7500元。”

医院工作人员参与售假

据“打拐”志愿者仔仔向媒体透露，网络上还有大量买卖出生医学证明的信息，其中不少中介都在医院工作。

记者在网上结识了一名自称来自河北的中介，他表示自己已经卖了三年的出生医学证明，从来没有出过事。在与记者见面后，该男子先是保证他拿出的绝对是真证，并称“拿的都是当地小医院的证”。

该中介介绍，如果要绝对真证，价格不能低于1.3万元，但不是河北本地的，而是广州市番禺区妇幼保健院的，“这个是以前医院里保留下来的，他保留下来的都是2012年、2013年的东西，现在没剩几张了。”

随后，记者还在河南省安阳市见到了一名孙姓中介，该男子也从事与医疗相关的工作，他表示自己办理的证上所盖公章同样为“番禺区妇幼保健院”。他还向记者展示了真假出生医学证明的辨别方法。

无法跨省查询难封杀假证

在调查过程中，记者发现，部分假证也可依照各省公安机关下发的户政管理规范的相关条文规定，为非亲生的孩子上户口。

央视记者拿着河南中介提供的已上户口的出生证图片到广州市番禺区卫生局求证，专门负责出生证管理的工作人员告诉记者：“这些证件肯定是假证。”

每一张出生证明都有唯一的编码，为何公安机关无法通过编码核实真伪呢？河南警方指出，跨省查询暂时没有实现，省内的也只能查2014年以后的出生证。而广州市番禺区卫生局的人员也向记者证实，公安机关和卫生职能部门的数据库互相不连通，唯有警方怀疑该证有假，才会联系当地卫生部门进行核实。

5.实施素质教育证明材料 篇五

xxx同志在任教以来，积极实施素质教育，在体育教学上，为了提高课堂效率，让枯燥的课堂变得有趣，在每上一节课之前，都要花上几倍时间去备课，从钻研教材，分析学生的实际水平和能力，到由浅入深地设计教学环节等等，就因为做到了因材施教，大大地调动了学生在课堂学习中的主体地位，使知识传播、能力锻炼、情感培养都能取得很好的效果，因此张靖华老师成为了一名深受学生欢迎的好老师。因为工作上取得了成绩，也多次受到了上级部门的表彰：2011年被评为“县优秀教师”，2016年获得优秀辅导奖。

作为教师，除了教书外还得育人。在这十几年的工作中，xxx老师始终把育人放在首位，了解班上的每一个同学具体情况，包括家庭情况、思想情况、交际情况，走进学生的心灵。在他们遇到困难的时候，帮助抚慰他们；在他们犯了错误的时候，正面引导他们；在他们懵懂混沌的时候，用爱感化他们。

在平常的教学中，张靖华老师经常组织学生参加一些课外活动，锻炼学生的能力，所辅导的学生在2011年西平县“中国人寿杯”小学生乒乓球比赛中获得优秀辅导奖，2016年“春雨杯”小学生乒乓球选拔赛中获得优秀辅导奖；2011、2012年的电脑制作大赛中获得市级三等奖和市级二等奖。

6.爱情无需证明 篇六

一番话说得堂下百姓点头称是，击掌叫好。

这个故事不由又使我风马牛不相及地想起了我的一次旅行经历。那次我和妻子一同去黄山旅游，去山上住宿时，我们看中了那价格便宜，别具一格散落在半山腰上的一个一个的小木屋。但在登记住宿时，难题出来了，我们外出时，走得比较急，把结婚证忘记带了。任凭我们怎样解释，服务员就是不同意我们住小木屋，只能住旅馆里开男女房间，执拗得很。当我们不甘罢休，欲跟她再协商时，她竟然“威吓”我们，你们再闹我就叫公安了。搞得我俩真是面红耳赤。(那时人们思想观念纯洁得很，远远没有今天这样开放，想得开。说句题外的话，去年我和单位一位女同事出差，在登记住宿时，我们要求登记两个标准间，服务台小姐问道，你们不是夫妻？我告诉她我俩是一个单位同事，出公差。这位小姐连玩带笑，半真半假对我们说，难得有这个机会还不住在一块。随之又“好心好意”地说道，我们这里什么证明都不要……)可就在这时，我俩身后传来一个男子的声音：小吴，你开给他们，我知道他俩是夫妻。我回头一看，只见一位约四十五六岁的中年男子，正笑眯眯地望着我俩，有点似曾面熟，又想不起在哪里见过。这时，只见那位服务员嘴中叽咕道：张书记，你怎么认识他们。那书记还是笑眯眯地说，认识就是认识吗。那服务员也就不吱声，满腹疑惑地为我俩办了住小木屋的手续。我和妻一时被搞得丈二和尚摸不着头脑，拿着钥匙，望着那笑眯眯的书记，走向那竹林深处的小木屋。

打开小木屋的门，一种如归家里的温馨顿时弥漫周身，一张大床，一对枕头，一床充满乡土气息的大红花被子，一只床头柜，一把木椅，一只暖瓶，一只档次不高的花瓶里插着一束野花……再望窗外，那山，那泉，那松，那竹，还有那清脆的鸟鸣，心都醉了……正在这时，响起咚咚的敲门声，开门一看，正是刚才帮我们解围的那个书记，进屋后，望着脸上写满感激和狐疑的我们，他抢先解释，你们想知道我为什么会证明你俩是夫妻吗？昨天中午你们刚下车去山下饭店准备点菜吃饭的时候，我也站在你们身边，见你对她讲，“你不是喜欢吃盐水虾吗，点一个吧”。她说，“太贵了，点一盘你喜欢吃的红烧肉吧”。最后你们虾也未点，肉也未点，就要了一个炒菜，一碗汤。就冲这点，我就敢证明你俩是有情有义的真夫妻……

听此，我不由眼眶一热。

7.第12章证明 篇七

【名师箴言】

任何美好的愿望都是假设,愿望能否成真,需要通过努力来证明.———贾彬

证明是锻炼逻辑推理的最好载体,学好证明能让你做事更有条理,更容易让人产生好感.———郭艳军

有一条“因果”的路,正道的尽头是真命题,歧路的尽头是假命题,脚踏实地、辩证思维通往真命题,而歧路的回归也只需要一个反例. 努力与奋斗永远站在真命题的一端,便捷的通途之下也许充满陷阱,让我们一起感受“证明”的魅力.———陈珊芳

生活中任何事情的发生都有原因,究其原因得到结果就是证明. ———陆晓冬

学习中要荡起“好学”和“乐思”的双桨,这样才能到达成功的彼岸. ———徐敏娜

让我们做一个勇于探索的人,用发现的眼光、推理的思维去解决生活中的种种谜题!———蒋滟滟

学习数学就要像蓝猫一样好奇多问,像柯南一样缜密推理,像灰太狼一样百折不挠.———张桢

在对事物的认识中学会探索,在有条理的思考中学会证明. ———孙方宇

每一份试卷都是一种责任和心灵的承诺,是衡量师生共同努力的一杆秤. ———王雅信

8.继续教育证明 篇八

No.00000000

正在接受非义务教育的学生身份证明

--------银行（信用社）--------支行（分理处）：

兹证明--------同学为我校--------（院、系、年级）在校学生，居民身份证号码----------------，正在接受非义务教育，前往贵处办理教育储蓄事宜。

特此证明。

学校盖章

年月日

×××省(自治区、市)国家税务局印制

9.毒品案件的证明标准 篇九

证明标准是指法律规定的负有证明责任的诉讼主体运用证据证明争议事实, 论证诉讼主张并需达到程度方面的要求。首先, 证明标准具有法定性, 司法人员只能根据法律规定的证明标准来认定犯罪事实, 而不是根据办案人员个人的主观想象认定事实;其次, 证明标准是一种程度的要求, 是法律认定案件事实的分界点。如果证明程度不能达到这一要求, 则所证事实应被认为是不存在, 如果证明程度达到或超过了证明标准的要求, 则所证事实应被认定为成立。

证明标准的特点:

(一) 证明标准具有层次性, 证明标准不是单一的, 而是多元的

证明标准的层次性主要体现在以下几个方面:对于不同的证明主体适用不同的证明标准, 在刑事诉讼中, 其证明责任主要是由公诉机关承担, 被告人一般不承担证明自己有罪或无罪的责任。我国新刑诉法明确规定刑事案件的证明标准是:证据确实、充分并且排除合理怀疑。这也是对公诉机关的要求。我国只有少数的几个罪名是需要由被告人承担证明责任的, 例如:非法持有型犯罪, 但是, 就此类案件的证明标准也不要求像公诉机关的证明标准那么高, 只需达到盖然的程度即可。同时, 对于实体事实和程序事实的证明标准也存在差异, 对于实体事实的证明标准要求要高于对程序事实的证明标准。但是, 对于证明标准是否存在阶段性则存在不同的观点:一种观点认为不同的诉讼阶段应适用不同的证明标准, 并且不同阶段的证明标准之间具有层次性和递进性, 也就是说不同阶段的诉讼主体均有证明案件的责任;另一种观点认为我国刑事证明只存在于审判阶段, 从而将非审判阶段的诉讼活动排除在严格意义的证明范围之外。笔者同意后一种观点。因为, 庭审阶段, 是在控辩审三方的参与下, 控辩双方均需用证据证明自己的待证事实, 并且要达到法律规定的证明标准, 才能被中立的第三方法庭采纳。其证明活动是给别人 (法庭) 看的。而在侦查和审查起诉阶段, 办案人员收集、审查和运用证据来确定案件事实, 属于职权式证明。是自己证明给自己看的。

(二) 证明标准是证据论证的客观性和裁判者主观性 (确信度) 的统一

对于证明标准是否存在裁判者的主观性存在分歧, 一种观点认为证明标准本就是客观的, 而忽视裁判者的主观确信度。将裁判者的内心确信行为是一种附属于证明标准的行为, 将裁判者的证据进行的思考评价活动不作为一种独立的活动进行评价。其实, 证明标准本身具有两个层面:一方面是主张者用证据论证某一事实的真实程度, 是通过主张者提供的证据来衡量的, 其具有“客观性”的特点。另一方面, 裁判者通过主张者提供的证据以及论证行为来形成内心的确信程度, 这属于“主观性”的特点。作为客观方面的“确定性”与作为主观方面的“可信度”, 两者结合起来, 才构成证明标准的完整内容。

(三) 证明是定罪和量刑两个阶段, 在我国目前的庭审中, 法庭辩论是围绕着定罪和量刑两个方面展开的, 也就是对定罪和量刑两个方面是否达到法定的证明标准展开的

定罪方面的证明标准是就刑法分则的相关罪状等相关内容的证明要求, 量刑方面的证明标准就是对法定和酌定的量刑情节的证明要求。定罪的证明标准要高于量刑的证明标准。

二、关于毒品案件的证明标准

毒品案件的特点决定其证明标准同其他刑事案件有所区别。毒品犯罪是一种隐蔽性较强的犯罪, 其往往在上下线之间形不成完整的“链条”, 被查获的部分往往是“链条”中的某一环节而不是整个“链条”。有时对毒品犯罪的行为在此罪与彼罪中很难区分, 如果没有一定的证明标准予以区分, 将会在实务中形成混乱。有时还可能放纵犯罪。总的来说, 毒品案件的证明标准比其他案件的证明标准要低, 有时是突破传统意义上对犯罪即、未遂的认识。毒品案件的证明标准较低主要表现在毒品数额的认定、主观的认定、犯罪即、未遂的认定三个方面:

(一) 毒品犯罪虽然不是数额犯, 但是毒品的数量是评价毒品犯罪轻重的最主要的评价标准之一

考虑到毒品犯罪的特点, 相关法律法规对公诉部门在认定毒品的数量方面做出相应的证明标准。主要表现在当毒品灭失情况下毒品数量的认定问题。当毒品灭失后, 仅依据相关当事人的供述, 并采取“就低不就高”的方式来予以确定毒品数额。对案件所涉毒品数量的大部分系依言辞证据认定。同时对于毒品的数量不考虑其纯度 (死刑案件除外) 。

(二) 对于毒品案件的既、未遂认定在很多情况下突破了《刑法》总则关于认定犯罪完成形态认定的基本原则, 在司法实务中, 如果不了解关于毒品犯罪的相关司法解释或者规定, 仅仅依据《刑法》总则的相关规定, 就有可能办错案

在毒品案件中往往将一些犯罪的未完成形态作为既遂来处理。对于证明毒品案件的既遂的证明标准比一般刑事案件要低。例如:江苏省《关于办理毒品犯罪案件适用法律若干问题的指导意见》第十九条:关于贩卖毒品既遂、未遂的认定中, 将以贩卖为目的, 已经买进了毒品, 应以既遂论处;正在进行毒品交易时被人赃并获, 不论是否交易成功, 对卖方和以贩卖为目的的买方均以既遂论处等等的相关规定都将毒品犯罪的未完成形态作为犯罪既遂处理。这一方面是表现法律对毒品案件的打击力度比其他普通案件要强, 另一方面是针对毒品案件隐蔽性的特点, 且毒品作为一种消费品有容易灭失的特点, 不易在毒品案件完成以后, 再进行侦查取证, 所以对毒品案件设置较低的证明标准, 以此来打击犯罪。

(三) 对毒品案件中犯罪嫌疑人的主观故意认定标准较低, 往往采用推定的方式来认定犯罪嫌疑人的犯罪故意

如果没有确凿的证据证实其故意犯罪, 一般均推定有较重罪的犯罪故意。例如:在相关规定中, 对于因贩卖毒品被抓获之后查获的毒品数量, 应计入既遂数额, 就是对有些贩卖毒品之后的非法持有的毒品在主观故意上仍然认定为具有贩卖的故意, 其采用的是推定的方式。同时, 对于多次贩卖毒品的行为, 后宗毒品案件的故意的认定问题, 如果能够认定前宗毒品是进行贩卖的, 可以推定对后宗毒品有贩卖毒品的故意。减低了后宗贩卖毒品的主观故意的认定。

三、关于毒品案件中可能判处死刑的证明标准

所有死刑案件的证明标准要高于普通刑事案件, 毒品案件也不例外。因为是直接剥夺被告人生命的, 一旦发生错误, 将无法纠正。所以要设立最高的证明标准, 也就是:定罪、量刑的事实清楚、证据确实充分, 且排除合理怀疑。对于涉及定罪和量刑的每一个证据均要达到最高要求。但是, 对毒品案件来说, 其有一个特点区别于其他死刑案件。对于毒品犯罪只要数额达到判处死刑的标准即可。在量刑方面主要证明从轻或减轻的情节, 而不像其他案件中要证明罪行极其恶劣的从重处罚情节。

参考文献

[1]李玲.重构我国的刑事诉讼证明标准[M].郑州大学2004年硕士学位论文, 1-5.

[2]张军.刑事证据规则理解与适用[M].法律出版社2010年版, 78-79.

10.海外市场经验证明 篇十

从目前来看，在人民币升值的背景下，中国房地产市场和证券市场无疑都会表现红火。那么我们要问的是，从国际市场的历史经验来看，我们是否也能够找到一些相类似的经济运行轨迹?

从世界经济的范围来看，房地产与经济的关系十分密切，而且反应也十分灵敏。在证券市场，由于房地产股兼具证券和房产两大特性，所以也一直被各个国家和地区视为市场的风向标。对此尹中立博士认为，日本股市在上个世纪的大牛市中，表现最抢眼的是金融、地产类公司，而在过去的两年中日本股市重拾升势，值得关注的板块仍属于经历10余年休息之后准备再展身手的金融、地产等行业。中国香港地区股市和中国台湾地区股市中地产类股票都曾经独领风骚。而过去10年中，美国股市中表现最抢眼的股票也是房屋建造类股(即房地产类公司股票)。在低利率、税务优惠与建筑材料价格调高的背景下，该类股票高涨近6倍。由此也反映出这样一个事实：房地产市场在这些国家和地区都曾有过一段辉煌的历史。

海外市场曾有类似效应

华东师范大学周斌博士对记者说：“从可比性的角度考虑，最具有代表性的就是日本和中国台湾地区。在上世纪80年代，日本也出现了经济快速发展的情况，由此进一步引发了货币升值的压力，中国台湾地区情况也是如此。其带来的结果都是地产和股票价格的大幅上涨，它们与当前中国经济的情况非常接近。中国香港地区虽然在1997年前后也出现过股市、楼市齐升的情况，但中国香港地区实行的是紧盯美元的联系汇率制度，这就与我们当前的情况不太一样了。”

二战以后，日本经历了两次大的汇率变动。第一次是1971年12月的“斯密森协议”，日元对美元的汇率从360上涨到306，涨幅为18％。第二次是1985年12月的“广场协议”之后，令日元汇率在10年间升值近3倍。“广场协议”后10年间，日元币值平均每年上升5％以上，无异于给国际资本投资日本的股市和楼市一个稳赚不赔的保险：即使投资的资产日元价格没有升值，也可以通过汇率变动获得5％以上的收益。而实际上日本国内由于低利率政策刺激了股市和楼市价格的快速上涨，因此国际资本投资日本股市和楼市可以获得双重收益——资产价格的升值和日元的升值。

受日元升值的影响，日本股市逐波上升，出现持续6年的激进繁荣，并且随后一直延续着涨升态势，到1989年底，日经指数创下了38957.44点的历史高点。整个上升过程，从启动到最后结束，延续了整整17年，涨幅高达19倍。可以说日元的升值，引发并强化了日本股市在1970和1980年的历史上最长的一次牛市。另外，日本的两次汇率改革都导致了地价的上涨。1971年底的汇率改革导致了1973年的地价上涨，但因为石油危机的影响，时间只持续了1年。1985年后的日元升值导致了地价连续5年的上涨。我们以1983年为周期计算，到1988年，东京的地价上涨了两倍多。而1988～1990年的3年时间内，大阪、名古屋的住宅地皮价分别暴涨了2.2倍和1.6倍。最高峰的时候，东京23个区的地产市值已经超过整个美国所有资产的市值。

与日本类似，中国台湾地区的汇率改革也导致了岛内的股市和房地产价格的大幅度波动。中国台湾地区1979年2月建立外汇市场，到1985年，汇率基本维持在1美元兑40.6元新台币的水平。但从1986年开始，在美国的压力之下，新台币不断升值，到1992年1美元兑24.52元，升值比例达到近70％。台币的升值导致中国台湾地区房价的上涨。1987年房价开始出现大幅上涨，1987年、1988年和1989年台北市的住宅价格上涨速度分别达到36.8％、96.5％和78.24％。同时股市也是强劲上扬，1985年中国台湾地区股市为600多点，1990年则狂涨至12600点，上涨了近20倍。

但随着货币升值步伐的结束，上世纪90年代后，日本和中国台湾地区的资产开始急剧缩水，日经指数从38957点跌到7600点，创下20年来的纪录，日本的不动产整体跌幅达75％；台股从12682点暴趺至2485点，一年跌掉一万点，房地产则距当年高价重跌了五到六成。

历史经验不会简单复制

不过，虽然当前中国经济的发展状况在海外市场曾有过类似效应，但其经验不会被未来楼市简单复制，反而会表现出独特的运行特征。

尽管历史往往惊人地相似，但是彼市场非此市场。我们参考国际市场的历史，更要考虑我们的实际国情。当年日本和中国台湾地区“暴涨暴跌”行情并不会再次简单翻版。首先，我国的资本市场还没有完全实现与外币的自由兑换，经常项目的兑换还存在着种种限制，这必然影响到外汇流动的速度；其次，房地产市场在经过宏观调控后，其效果已经开始逐渐显现出来。对此周斌博士这样对记者说：“宏观调控可以说是一种提前介入，因为货币升值到一定幅度的时候，就会出现竞争力下降的情况，这个时候获利颇丰的‘游资’就会撤资，所以现在要做的就是使市场能够平稳一些。”

在日本和中国台湾地区由货币升值带来的房地产和股市上升过程中，我们可以看出以下几个共同的特征：

11.义务教育学生转学证明 篇十一

清水县义务教育阶段学生转学证明
（转字 号）

（学校）：
兹有学生 所在地：（中）学 现因 贵校接收并编入
转出学校意见：

，性别

，生于，系

年

月

日，户籍 小

年级学生，学籍号：

□ □ □ □ □ □ □，□□□□□□
申请转学，经审核，同意转出，请

年级继续学习。
接收学校意见：

学校（盖章）经办人： 年 月 日

学校（盖章）经办人： 年 月 日

转出学校教育主管部门意见：

接收学校教育主管部意见：

教育主管部门（盖章）经办人： 年 有关说明： 月 日

教育主管部门（盖章）经办人： 年 月 日

学生转学时须持《天水市学生成长记录评价手册》到县教体局教育股和接收学校备案。1.学生县内转学：转学证明应先由转出学校开出，经接收学校同意并盖章，到县教育主管部门审核盖 章备案后，转学方可生效。此证明一式三份，转出学校、接收学校和教体局各执一份。2.学生跨县转学： 应先到转入学校及其教育主管部门办理同意接收证明，再向转出学校提出转学申请。转出学校审核后出具转学证明，经县教体局审核盖章后，转出学校将学生档案资料交监护人。监护人持学 生档案资料及转学证明到转入学校办理转入手续。此证明一式四份，转出学校、接收学校和双方教育主管 部门各执一份。

12.可信云平台远程证明 篇十二

云计算[1]是一种新兴的计算模式,它将多个大型计算中心整合起来,形成了容量更大、速度更快的云服务中心。云计算是以虚拟化技术为基础,以网络为载体,提供基础架构、平台、软件等服务,整合大规模可扩展的计算、存储、数据、应用等分布式计算资源进行协同工作的超级计算模式。它的关键因素是它能够扩展和收缩,使用户能够获取适合他们需求的资源。

从云计算兴起之时,它的安全就已被普遍质疑。在远程证明方面存在诸多的漏洞和不足之处。2008年的相关报道称:亚马逊的云平台因认证服务过载而导致不可用,故障持续2小时,影响了用户业务的运营。在很多用户尤其是商业用户中,隐私的保护是他们关注的焦点之一。他们不愿意让政府知道他们的商业行为,也不愿意让他们的对手知道任何有关的商业秘密。普通用户也是如此,私人的照片、信息都放在了网络硬盘上,他们最为担心的就是信息的泄漏。所以在远程证明过程中,不能给认证服务器太多的负担,防止过载而导致瘫痪,也不能暴露用户隐私,保证用户的匿名性,提高安全性。

1可信云平台的远程证明

可信云平台[2]使用XEN虚拟机架构[3],XEN虚拟机监控器 VMM(Virtual Machine Monitor)直接安装在硬件上,它负责虚拟机中各种底层机制的实现,同时VMM还提供对虚拟域的一些基本控制。文献[4]提出了基于认证服务器的远程证明方案,架构图如图1所示,它在云服务器的基础上又设立了一个认证服务器。云管理器CM(Cloud Manager)使用管理软件来管理虚拟节点,N1、N2为虚拟节点。认证服务器中存放可信协调中心TC(Trusted Coordinator),管理虚拟节点的公钥和授权的配置信息。用户向虚拟节点发出连接申请时,节点首先把用户和自己的签名信息交给TC验证,TC对用户和节点的签名信息都确认无误之后,通知双方可以连接。TC成为用户和虚拟节点之间的安全屏障。

此方案虚拟节点之间的远程证明采用节点编号,使之在传输过程中易被攻击者跟踪,找到目标位置,从而进行有针对性的攻击,安全性较弱。TC必须参与每次证明过程,所以它成为远程证明的瓶颈。同时TC还要知道所有用户和节点的公钥,保持公钥列表的更新也是一个重要问题。

2可信环签名远程证明

2.1可信环签名

关于云计算平台远程证明的安全性,当今所有的认证技术都可以用于云计算环境,可信环签名[5]证明方法就是其中的一种,它可以减轻认证服务器的负担,把大部分工作放到签名者自身来执行,解决了远程证明过程的瓶颈问题。另一方面它能保证签名者的无条件匿名性,即使挑战者拥有无限的计算能力,也无法追踪签名者的身份。

环签名[6]是针对用户对匿名性的要求提出的远程证明方法。签名者只要知道某个用户的公钥,不需要其同意就可以将其加入到环中对消息进行签名,其唯一假设是所有用户都拥有支持这种标准签名方案的公钥。环签名的步骤如下:签名时,签名者根据自己的公钥P私钥S,环的用户身份集合R和环签名参数N,通过环签名算法算出签名,发送给验证者。验证时,验证者根据签名者的公钥P,环的用户身份集合R,参数N和签名,通过验证算法得到Valid和Invalid。Valid为验证成功, Invalid是验证失败。

可信环签名TRS(Trusted Ring Signature)把可信计算技术加入到环签名中,可信计算通过在计算机系统中嵌入一个可抵制篡改的独立计算引擎,使得非法用户无法对其内部的数据进行更改。可信计算基于可信平台模块TPM(Trusted Platform Module),它由可信根开始,对计算机内部所有的硬软件进行监督,形成完整的可信链,并在平台配置寄存器PCR(Platform Configuration Register)中生成PCR属性值,作为可信度的度量。用户对平台的信任,也就转换成为用户对TPM的信任。

可信环签名将环签名中的公私钥对,换成了双方的TPM公私钥对,使远程证明的安全性从根本上得到了保证。

2.2基于TRS的可信云平台远程证明

本文在基于认证服务器的云平台架构上使用TRS远程证明方法。TRS远程证明中,当虚拟节点需要向用户证明自己的合法身份时, 就向TC申请公钥列表,TC内部的动态列表需要包含所控制下的虚拟节点的公钥和安全信息,节点在公钥列表中选择t-1个公钥形成环集合,使用环集合对消息签名。用户只能验证该签名是由环中某成员生成的,但无法知道是哪个虚拟节点,保证了平台节点的匿名性问题。TC只需要在节点请求时把公钥列表发送给节点,不需要全程参与远程证明过程,解决了TC的瓶颈问题。平台节点与用户的远程证明交互过程不需要TC的参与,所以TC不需要知道用户的公钥信息,解决了用户列表的更新问题。

在基于安全服务器的云计算平台下使用TRS远程证明方法解决了云平台的匿名性问题,减轻了安全服务器在远程证明中的交互负担,也不用使用多层安全服务器来保持用户列表的更新。在保证远程证明安全性的同时,降低了系统开销。

3可信云平台下TRS远程证明协议

IPSec协议族在IP层对分组进行处理, 可以为IP层通信提供数据保密、身份鉴别等安全服务。因特网密钥交换协议[7]IKE(Internet Key Exchange)是其中的一个,为通信的两个网络节点执行远程证明、协商安全策略和生成共享密钥。IKEv2是IKE的最新版本。以下采用IKEv2协议对TRS方法进行验证。

IPsec有预共享密钥、数字签名、公钥加密、改进的公钥加密等四种方式。采用数字签名方式,通过四次消息交换来协商安全关联SA(Secure Association)。I为签名者,R为验证者。

(1) I→R HDR,SAi, KEi,Ni

(2) R→I HDR,SAr,KEr,Nr,CERTREQ

(3) I→R HDR,SK{IDi,CERT,CERTREQ,AUTH,SAi,TSi,TSr}

(4) R→I HDR,SK{ IDr,CERT,AUTH,SAr,TSi,TSr}

其中,HDR是ISAKMP报头,SAi和SAr是安全关联数据库,KEi和KEr是共享消息载荷,Ni,Nr是参数,SK{}是加密信息。IDi,IDr是身份信息载荷,CERT是证书载荷,CERTREQ是证书请求载荷,AUTH是签名载荷,TSi和TSr是流量选择载荷。

在此模式中,认证双方通过两次信息交换来实现相互的身份证书和会话密钥的交换,第一次交换它们之间的密钥算法和参数值,第二次交换身份信息和证书,达到身份认证的目的。基于TRS方法,我们对此模式进行改进,将TRS远程证明方法写入双方的安全关联数据库SA中。TPM公钥环集合R=(P1,P2,…,Pt)和TRS算法中用到的参数由KE负责传送。N是公开参数。SK{}由签名者的TPM公钥解密。ID是TPM的PCR值。CERT是经过CA认证的TPM证书。AUTH是经过TRS的环签名证书。TS载荷包含需要IPsec处理的分组号。

其中,签名和验证过程都在主机的帮助下完成。签名时,输入签名者的TPM公钥P,环的用户身份集合R,签名者的TPM私钥S和参数N,输出环对N的签名AUTH。签名算法使用环方程如式(1)所示,并由式(2)解出ys,由此得出签名AUTH=TPMSign( n, g, P, x)。

验证时,输入签名者的TPM公钥P,环的用户身份集合R,参数N和签名AUTH,输出Valid和Invalid。验证算法使用式(3)进行验证,等式相等则输出Valid,验证成功,反之,则验证失败。

其中,n,g,x1 , x2 , …, xt(t≠s) ,v是签名者生成的随机数序列,yi=gi(xi),xs=fs(ys),f()是g()的逆函数。E()和D()分别是加密和解密算法,可选择3DES加密和解密算法,密钥为k=H(n,P, x,P1,P2, ...,Pt)。X^Y表示X的Y次方。⊕为逐比特异或运算。H( )为抗碰撞的散列函数。C1,C2,…,Ct为TPM的PCR值。

4实验和结果验证

桉树架构Eucalyptus(Elastic Utility Computing Architecture for Linking Your Programs To Useful Systems)是一种开源的软件基础架构,用来通过计算集群或工作站群实现弹性的、实用的云计算。Ubuntu9.10服务器版已经集成了Eucalyptus这个开源软件,使得搭建私有的云平台变得方便而简单。

4.1实验过程

实验环境由三台计算机构成,实验环境架构图如图2所示,分别作为远程证明的客户端、云平台的安全服务器TC端、云服务器端。配置分别为内核Intel Atom N450 1.66GHz,内存1GB,硬盘250GB;内核Intel Pentium Dual-Core T4300 2.1GHz,内存1GB,硬盘250GB;内核Intel Core i3-370M 2.4GHz,内存2GB,硬盘500GB。并分别安装操作系统Redhat 9.0、Ubuntu 9.10和Xen。

在云服务器端安装虚拟化软件XEN-4.0.0,并虚拟出三个虚拟机。分配CPU1、2和3,内存512MB,硬盘8GB。分别是Server、Node1和Node2,Server端安装Ubuntu9.10-server操作系统时选择Server选项,Node端安装Ubuntu9.10-server操作系统的Node选项。分别给Server端和Node端启动Eucalyptus服务。Server端包括云控制器、控制器、存储控制器。Node端安装节点控制器。给实验环境下的实体机和虚拟机全部安装TPM仿真软件TPM-Emulator-0.5.1,使用软件生成CA证书、AIK证书和AIK密钥对。从硬盘上读取密钥和证书,发送到各自的公钥列表中。安装完成后在Server上使用TPM公钥注册Node,使其对Node进行管理。至此云平台搭建完成。

在实验环境中安装IPsec的应用编程软件OpenSWan-2.6.28。使用数字签名认证方式配置OpenSWan。OpenSWan的数字签名模块是可编程的,在此使用C语言程序模块实现TRS的算法,在OpenSWan中有套接口与IKE通信。设计模块图如图3所示。

IKEv2协议的远程证明需要用到TRS参数以及TRS的签名验证过程,因此需要在OpenSWan的源代码中添加IKE和TRS模块通信相关的代码。它们的通信过程是通过AF_UNIX套接口来完成的。使用的库文件有,接收分组的IPsec处理文件xfrm_input.c,发送分组的IPsec处理文件xfrm_output.c,SA处理文件xfrm_state.c,策略处理文件xfrm_policy.c,等等。TRS模块需要和位于内核中的SA进行通信,内核中的PF_KEY套接口要完成的功能是维护内核的安全联盟SA以及与用户空间的接口。使用的函数有SA增加函数pfkey_add,注册到内核函数pfkey_register等。

4.2实验结果验证

在实验中,用户和云平台之间的通信要求启用IPsec协议,首先使用TRS算法进行签名,然后经过IKE协议认证身份和协商共享密钥,并将生成的密钥发送至IPsec协议族中的封装安全载荷(ESP)协议来加密分组,最后经TCP/IP协议传输。实验结果采用Tcpdump工具对认证双方的通信分组进行监听验证。Tcpdump监听虚拟机数据传输情况如图4所示。

图4中用户IP地址为“221.204.55.244”,虚拟节点IP地址为“221.204.10.100,”“12:25:12”是时间,“367548”是网络ID号。分组使用ESP报头封装,分组不显示数据。从实验结果可以看出,分组使用ESP报头封装,并经过加密处理,监听无法识别,说明ESP协议使用IKE协商的共享密钥加密封装分组。所以验证了IKE协议能够使用TRS算法生成的签名交互证明身份,并协商共享密钥。实验证明了TRS签名算法在云平台远程证明中的可行性。由此可以得到结论,用户与云平台之间可以使用TRS方法进行远程证明。

5结语

本文中讨论了在可信云计算平台下使用可信环签名的远程认证,环签名具有匿名性,将签名者身份很好地隐藏在环中,使攻击者无法从签名中确定签名者的身份。可信计算的加入使得远程证明的安全性从根本上得到了保证。实验采用IKE协议验证了远程证明的交互过程,证明了可信环签名方法适用于可信云计算平台。

摘要：可信云计算是一种全新的互联网应用模式,它即将成为人们获取信息和服务的主要方式。但在云平台向用户提供远程证明方面,还存在明显的安全漏洞和不足之处。目前所使用的证明方法暴露了平台的属性信息,使攻击者跟踪这些信息进行有针对性的攻击。使用可信环签名的远程证明方法,可以保证平台的匿名性,保护了平台隐私,提高了平台的安全性。最后,通过IKE协议验证了可信环签名方法,确保了它在云计算平台上的可行性。

关键词：可信云计算,远程认证,可信环签名

参考文献

[1]陈康,郑纬民.云计算:系统实例与研究现状[J].软件学报,2009,20(5):1337-1348.

[2]邢剑锋,王鹏飞,沈松.基于虚拟机的可信云计算平台研究与设计[J].微型机与应用,2010(16):75-77.

[3]薛海峰,卿斯汉,张焕国.XEN虚拟机分析[J].系统仿真学报,2007,19(23):5556-5569.

[4]Nuno Santos Krishna P.Gummadi Rodrigo Rodrigues.Towards Trus-ted Cloud Computing.MPI-SWS.

[5]刘吉强,赵佳,赵勇.可信计算中远程自动匿名证明的研究[J].计算机学报,2009,32(7):1304-1310.

[6]鲍皖苏,隗云,钟普查.原始签名人匿名的代理环签名研究[J].电子与信息学报,2009(10):2392-2395.