【摘 要】
：
安全协议特别是认证协议的非形式化分析在复杂的现代通信中变得尤其重要．本文指出著名的Abadi安全协议设计原则和Lin等文献中关于漏洞的分析以及使协议更安全的建议存在不准确
论文部分内容阅读
安全协议特别是认证协议的非形式化分析在复杂的现代通信中变得尤其重要．本文指出著名的Abadi安全协议设计原则和Lin等文献中关于漏洞的分析以及使协议更安全的建议存在不准确性，从而使我们能够给出其协议修正版本的攻击．通过对安全协议不安全实质的分析，文章指出实现安全认证协议的必要条件：主体的活现性和新鲜性标志符的新鲜性和关联性．最后，以问答式认证协议为例，指出了保证主体的活现性和新鲜性标志符的新鲜性和关联性的方法．
其他文献
在销-盘摩擦磨损试验机上进行金属干摩擦试验,研究摩擦自激振动对盘试件磨痕表面轮廓的影响,采用激光位移传感器测量盘试件摩擦表面轮廓尺寸,用加速度传感器测量销试件的摩擦
<正>45钢是一种应用广泛的机器零件用钢,属中碳范畴,其化学成分(质量分数,%)为:0.42～0.50C、0.17～0.37Si、0.5～0.8Mn、≤0.25Cr,微量V。有关温度参数为:Ac1=735℃,Ac3=785℃,Ms=
[目的]观察参苓白术散联合西药治疗小儿消化不良性腹泻疗效。[方法]使用随机平行对照方法,将100例门诊患者按掷骰子法简单随机分为两组。对照组50例多酶片,1~2g/次,3次/d,饭
<正>康氏粉蚧是同翅目粉蚧科的害虫,喜欢在阴暗背光处活动,可为害梨、枣、苹果、石榴等多种果树。蒙自市是云南省石榴主产区,种植面积较大,有"万亩石榴园"的称号,出产的甜石
名人纪念馆展板解说词属于外宣文体,但有着与其他外宣文体不同的语言特点,因此翻译策略也应有所不同。以烟台王懿荣纪念馆翻译展板解说词为例,通过分析该馆汉语解说词的文本
情境教学是指在教学过程中,教师有目的地引入或创设具有一定情绪色彩的、以形象为主体的生动具体的场景,以引起学生一定的态度体验,从而帮助学生理解教材,并使学生的心理机能
本文在研究数字全息自适应光学系统成像原理的基础上,结合传统成像光学系统的性能评价方法,指出在数字全息自适应光学系统中可以利用点全息图的自相关函数来评价系统的成像性
作为秦末汉初“关系天下存亡”的历史人物之一,淮阴侯韩信的一生充满了传奇色彩,历史学者对其也有很多评说。韩信其人,尚有几点值得关注:他应是读书人出身,其早年就立下了封
综合评述了与 C/ C复合材料有密切联系的炭 -石墨材料的摩擦磨损行为以及国外 C/ C复合材料的摩擦学研究现状 .指出关于 C/ C复合材料摩擦磨损机理及其影响因素的研究仍不完
５０Ｂ钢中的晶界析出物及脆化机理的初步探讨黑龙江省北安市技术开发中心（北安１６４０００）郭达人５０Ｂ钢是成分简单，具有较好工艺和力学性能的结构钢。５０Ｂ在使用时常出现脆化（即硼脆）问题。标准规定，经调质