论文部分内容阅读
串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。本文在Otway-Rees协议缺陷的基础上对它进行改进,并利用串空间模型的理论对改进后的Otway-Rees协议进行了形式化的分析。新的Otway-Rees协议满足其安全目标,是安全可行的。
基于串空间模型的改进型Otway-Rees协议分析
【摘 要】
：
串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。本文在Otway-Rees协议缺陷的基础上对它进行改进,并利用串空间模型
【机 构】
：
湖北师范学院数学与统计学院,湖北师范学院计算机科学与技术学院
【出 处】
：
信息通信
【发表日期】
：
2012年3期
【基金项目】
：
湖北省自然科学基金（the Natural Science Foundation of Hubei Province under Grant NO.2006ABA056）,湖北省教育厅重点项目（the Key Project of Hubei Province Department of Education under Grant NO.D20092203）,湖北省教育厅青年项目（the Yout
其他文献
PTN是下一代城域光传送网络的发展方向,具有质量高、性能可靠、支持多业务和统计复用、数据网络传输更为高效灵活等多个优点。文章简要介绍PTN技术及目前两种主要实现方案的
本文通过对高校图书馆工作现状的思考,提出深化改革必须重视管理思想的改革、管理系统的改革,组织体系的改革以及管理机制的改革.
随着3G网络的出现，视频传输技术和网络通信技术不断向前发展。本文介绍了3G网络的特点和基于3G网络的视频压缩技术，说明了基于3G网络的视频传输技术发展的趋势。
我国的电力企业建设为我国国民经济的发展以及人民生活水平的提高做出重要贡献对于一个电力企业而言，电’力网络无疑是其“生命的主动脉”，随着电力网络的建设与发展，加之网络技
随着互联网、物联网等技术的发展和3G/4G技术的成熟,移动数据流量会持续翻倍式增长,因此需按照集团公司的＂GSM＋TD＋LTE＋WLAN＂四网协调发展总体策略,才能构筑中国移动持续领先的优势
计算机通信是一种新型的数据通信形式,并且已经在诸多行业中被广泛应用。计算机通信是新时期计算机技术、通信技术和网络技术综合作用的结果,代表着现代通信技术发展的潮流。
主要阐述大学计算机基础教学的重要意义，分析当前计算机基础教学面临的突出问题，就大学计算机基础教学改革方向提出一系列旨在强化学生计算机基础知识，培养学生计算机应用能力的
文章是某新建高校校园基础通信组网工程的建设方案,设计方案以高校的通信需求为主要依据,同时也充分考虑了作为投资建设方（运营商）的经济效益,具有一定的典型性,可作为大部分新