论文部分内容阅读
随着网络的发展,协议的安全性越来越受到关注,现在国际上的热点集中在对安全协议的形式化验证和分析方面.本文通过使用BAN逻辑证明Needham-Schroeder协议的安全性,得出其存在的缺陷并提出改进方案.
NS协议的形式化分析与改进
【摘 要】
：
随着网络的发展,协议的安全性越来越受到关注,现在国际上的热点集中在对安全协议的形式化验证和分析方面.本文通过使用BAN逻辑证明Needham-Schroeder协议的安全性,得出其存在
【机 构】
：
华中科技大学计算机学院,华中科技大学计算机学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2004年2期
其他文献
本文从iSCSI协议读写流程的角度,对iSCSI协议各个部分的服务时间进行量化分析,讨论了它们对iSCSI协议性能的影响,提出了相应的优化策略.同时,本文讨论和分析了iSCSI Initiato
【目的】比较腹腔镜胆囊切除术（LC）、传统开腹胆囊切除术（OC）和小切口胆囊切除术（MC）的手术效果。【方法】1276例患者接受胆囊切除，其中接受LC者952例，OC者210例，MC者114例。分析三种
目的：探讨检测糖化血红蛋白（HbA1c）与血糖升高的急性脑梗死患者预后的相关性。方法：收治空腹血糖升高的急性脑梗死患者96例,分为HbA1c正常（HbA1c≤6.0%）和HbA1c升高组（HbA1c〉6.0%）,
微小RNA（miRNA）是近几年在真核生物中发现的一类内源性的具有调控功能的非编码RNA，其大小长约20---24个核苷酸，主要发挥基因转录后水平调控作用Ⅲ。作为重要的调节分子，miRNA参与
【目的】探讨2型糖尿病合并非酒精性脂肪肝（NAFLD）的临床特征。【方法】对179例2型糖尿病患者检测血压、体重、身高、腰围、臀围、胰岛素、ALT、血脂、hsCRP，计算体重指数（BMI）和H
【目的】探讨复发性腰椎间盘突出症的原因及再手术治疗效果。【方法】本文总结复发性腰椎间盘突出再手术治疗31例。初次手术治疗方式：胶原酶注射治疗6例，单纯腰间隙椎板开窗12
本文分析了新的网络存储协议--iSCSI协议, 并给出了Linux下iSCSI协议实现的一种软件模型,进而搭建了基于iSCSI的存储系统,对其进行了性能测试,并指出了优化iSCSI系统性能的途
在实时系统中,为了避免任务的计算结果发生时间逻辑错误,我们提出一种新的多分辨率模型.在该模型中,任务有多个计算时间,每个计算时间都对应一定的执行价值.任务的计算时间越
[目的]探讨如何预防急症下行腹腔镜胆囊切除术中医源性胆道损伤的发生.[方法]回顾性总结120例急症下行腹腔镜胆囊切除术的临床资料.[结果]无一例发生胆道损伤,所有患者均康复
1 病例介绍病人,男,60岁,体重65 kg,因右肾积水住院,术前血压18.67/12.00 kPa,脉搏65/min,呼吸16/min,心肺无异常,在硬膜外阻滞麻醉下行右肾切除术,麻醉前30 min鲁米那0.2 mg