【摘 要】
：
The modified version of Yahalom protocol improved by Burrows, Abradi, and Needham (BAN) still has security drawbacks. This study analyzed such flaws in a detail
【机 构】
：
College of Software,Department of Mathematics,L(U) Heng-shan
论文部分内容阅读
The modified version of Yahalom protocol improved by Burrows, Abradi, and Needham (BAN) still has security drawbacks. This study analyzed such flaws in a detailed way from the point of strand spaces, which is a novel method of analyzing protocols security. First, a mathematical model of BAN-Yahalom protocol is constructed. Second, penetrators abilities are restricted with a rigorous and formalized definition. Moreover, to increase the security of this protocol against potential attackers in practice, a further improvement is made to the protocol. Future application of this re-improved protocol is also discussed.
其他文献
目的:探讨优拓油纱对浅表软组织损伤创面的疗效。方法:对120例患者使用优拓油纱(观察组)和凡士林油纱(对照组)敷料对浅表软组织损伤创面进行换药各60例,观察两组患者创面的渗
[目的]探讨宫颈鳞癌Ⅲ期患者同步放化疗后巩固化疗的疗效和毒副作用.[方法]将2007年1月至2008年6月收治的84例宫颈鳞癌Ⅲ期同步放化疗的患者随机分为试验组(40例)和对照组(44
由于吻合器械的广泛应用,中低位直肠癌手术的保肛率大幅上升,使传统被认为是中低位直肠癌手术金标准的Mile手术变为最后一个选择的术式.吻合器的合理应用较传统手工吻合有手
应用骨组织工程修复种植体周围骨缺损为种植技术开辟了一条崭新途径.本文就骨组织工程三大要素的特点、相互作用以及应用组织工程骨修复即刻种植术中种植体周围骨缺损的研究
自护一词来源于上个世纪70年代Orem自护理论,奥瑞姆把自护定义为个体生命、健康、发展和安宁而进行的一种习得的、目标指向性的自我照顾活动[1].自护理论强调护理对象的自我
目的 探讨负压封闭引流(VSD)装置在大面积游离植皮手术中的价值.方法 通过前瞻性随机对照研究,将64例因大面积皮肤缺损而需要进行游离植皮的患者术前随机分成两组(每组32例),
To cope with the problem of tracking a human head in a complicated scene, we propose a method that adopts human skin color and hair color integrated with a kind
are compared, the experiential formula values are 2.54-3.49 times of the simulation results.
A new, simple, rapid microbial assay was put forward for the detection of chloramphenicol (CAP) residues in Turbot muscles using luminescent bacteria DB (Photob
Vacuum diecasting process was introduced into mass production in 1983，after GF (Gas free) process had been invented．Just around the same time，OPTI-VAC process was