【摘 要】
：
本文对Kailar逻辑进行了扩充,并运用扩充的Kailar逻辑指出了CMP1协议存在的安全缺陷。最后,运用扩充的Kailar逻辑证明了改进后新协议的正确性。
This paper extends the Kai
论文部分内容阅读
本文对Kailar逻辑进行了扩充,并运用扩充的Kailar逻辑指出了CMP1协议存在的安全缺陷。最后,运用扩充的Kailar逻辑证明了改进后新协议的正确性。
This paper extends the Kailar logic and points out the security flaws of the CMP1 protocol by using the extended Kailar logic. Finally, the extended Kailar logic is used to prove the correctness of the new protocol.
其他文献
素质教育背景下的初中生物教学要实现理论知识与实践技能的有机结合,帮助学生掌握分析自然或社会现象的能力,从而逐渐熟悉人类生存环境与大自然之间的密切联系,促使学生挖掘
做平和父母，与孩子建立理想关系，这是很多家长的共同愿望。6月6日上午10点，父母必读育儿智慧大讲堂与青豆坊携手，邀请美国著名家教专家、《父母平和 孩子快乐》的作者劳拉·马卡姆博士就做平和父母开展专题讲座。近300位家长到场，参与了此次讲座。 孩子成长过程中，亲子关系至关重要，但是很多父母在培养孩子的过程中，最大的问题不是孩子，而是父母自己的情绪，父母的情绪会影响到孩子的情绪，从而导致亲子互动失败
健康这个概念,近年来内容发生了改变。如今按世界卫生组织的定义,“健康不仅是没有疾病,不体弱,还是一种躯体、心理和社会功能完善的状态”。按上述说法,做一个健康的人,实
历史唯物主义认为,生产力决定生产关系,而生产关系的总和构成经济基础,在一定的经济基础之上产生一定的上层建筑,即政治、法律和意识形态等社会现象。因此,应当依据经济关系
教育工作者除了要把党的教育方针作为指导思想外,还必须懂得儿童心理发展的基本规律和特点,才能完成教育工作任务。什么是儿童心理发展的规律和特点?教育工作者如何对待这些
说到艺术类专业，你可能首先会想到美术、声乐、乐器、舞蹈等名词，进而会想到与之相关的画画、唱歌、弹琴、跳舞等专业技能。我们都知道，这些技能是难以通过“临时抱佛脚”来掌握的。 然而，你是否知道，除了传统的艺术类专业，近年来，还出现了许多不需要考生从小练就“童子功”的“亚艺术专业”？这些专业注重的是考生的天赋和潜质，比拼的是考生日常“无心插柳”的知识积累，以及临场发挥的灵机乍现。 这么说吧，不论你是
我 有机会在美国读书一年多，利用这段时间参观了许多的大中小学，参加一些学校的活动，和一些老师、家长了解有关家庭教育方面的事情。 在美国，父母对子女承担的是有限责任，父母不会把孩子的事情全部包下来，反而孩子还必须承担一些家务劳动。如摆餐具、洗自己的衣服、剪草坪等。在上大学前旅游的费用，也可能家长给出，但不是说家长必须提供。孩子可以自己打工挣，也可以在家里干活，父母支付工钱。等到18岁成人后，读大学
情感教育在高中语文的课堂中起着至关重要的作用,对于高中生的人生观、世界观的形成具有重要的意义。然而在现实课程教学中往往容易被教师所忽视,教师在教学中过分注重高中语
紧张和松弛,是两种相反相成的心理状态,或叫心理过程。在意外或紧急情况下,在面临困难的时候,人们自然会紧张起来,也就是动员潜在的力量和智慧,全神贯注,以便妥善地对付当前
留美博士黄全愈在他的《家庭教育在美国》一书中讲到了一个故事,读来颇有道理。矿矿(黄博士的儿子)上小学的时候,老师经常让孩子自己动手做一些小东西,比如长城的模型、士兵