论文部分内容阅读
NSSK协议的主要功能是完成身份的双向认证，提出一种新的攻击方法，并给出改进方案，使之具有更强的安全性，最后应用BAN形式化分析改进的协议是成功有效的。
NSSK协议改进及其形式化分析
【摘 要】
：
NSSK协议的主要功能是完成身份的双向认证，提出一种新的攻击方法，并给出改进方案，使之具有更强的安全性，最后应用BAN形式化分析改进的协议是成功有效的。
【机 构】
：
合肥工业大学计算机与信息学院,铜陵学院计算机系
【出 处】
：
株洲工学院学报
【发表日期】
：
2006年2期
其他文献
新形势下如何做好企业思想政治工作,从四个方面提出了创新.思想政治工作创新是在继承和发展基础上的创新,是在加强和改进过程中的创新.
随着消费文化的兴起和现代复制技术、现代艺术生产机制、现代传播媒介的发展,"日常生活的审美化"成为一种社会现象.艺术走下了神圣的阶梯,渗透到大众的日常生活中,成为人们生
实体模型是进行有限元分析和优化设计的基础.介绍了基于Pro/E建立实体模型的造型方法,并应用该方法建立一复杂的平面分流组合模的实体模型.
介绍了超声法检测的原理及特点，着重介绍了超声法检测混凝土结构的强度、裂缝、缺陷以及厚度的方法和应用，并分析了超声无损检测的应用和发展前景。
立足于专家研究的成果上,阐明对生态价值的看法:人类早期没有现代意义的生态伦理思想,生态伦理是伦理发展到现代性的社会产物,其核心要追问现代性问题;其次,生态伦理不需要"
随着我国市场化程度的不断提高,对各种经济主体经营活动的限制将逐步放宽,从而必然对审计人员的专业判断能力提出更高的要求.文章从三个方面阐述了审计专业判断的重要性,并对
近年来,侵害债权的行为日益增多.但由于人们长期受"债的相对性规则"的束缚,债权人只得向债务人主张民事责任,从而威胁到债权人利益的实现.市场经济的深入发展,迫切需要我们在
艺术设计为社会主义市场经济主战场服务的同时,不能丢掉传统人文素质的教育;随着技术的日新月异,如何实现设计为人服务的宗旨,并在物欲横流的社会中保持清醒的头脑,需要复兴
通过对桥头跳车原因的分析以及路基沉降的计算，结合相关规范和工程实践，总结出在工程设计和施工工艺中，控制或减缓桥头跳车现象发生的方法，提出建立有关压缩模量、e-p曲线等土工