论文部分内容阅读
本文在介绍了串空间模型的基本概念和定理的基础上，提出了改进型的Otway-Rees认证协议，然后利用串空间模型的理论和方法，从杌驽巨和可鉴别性两个方面对改进型Otway-Rees协议进行了分析，分析结果表明该改进型协议是安全的。
改进型Otway-Rees协议的串空间模型分析Ihe Analysis of the Revised Otway-Rees Protocol Stand Space Model
【摘 要】
：
本文在介绍了串空间模型的基本概念和定理的基础上，提出了改进型的Otway-Rees认证协议，然后利用串空间模型的理论和方法，从杌驽巨和可鉴别性两个方面对改进型Otway-Rees协议进行
【机 构】
：
河南教育学院,成都理工大学
【出 处】
：
科技风
【发表日期】
：
2011年6期
其他文献
在铁路建设中,施工组织是其中的一个重要环节。本论文从铁路施工组织的特点、施工过程、施工管理及施工的影响因素等方面对铁路施工组织的相关问题进行了探讨。
In the rail
为了进一步提高人才培养质量,我校委托麦可思（MyCOS）教育数据咨询公司对我院毕业半年以上的毕业生进行了问卷调查。软件学院对调查数据又进行了进一步的分析解读,这些数据分析
教务教学管理是教学工作的重要方面，它能够提高教学的质量和水平。如何促进教务教学管理信息化、科学化，提升教务管理质量，更好地为整个教学服务，是教务管理者需要进行探讨的一个
园林绿化是一项城市建设基础工作,在全面建设小康社会中有十分重要的作用：1）园林绿化是改善城市生态环境的根本途径;2）园林绿化是提高城市利用资源效率的重要措施;3）城市园林绿化
对贵州铜仁地区栽培油茶种子的生理特性、种苗繁育技术进行了一系列的试验研究。结果表明，不同激素和浓度对栽培油茶种子的发芽率和油茶扦插苗的成活率的影响存在明显差异，而不
本报讯（记者张兆军张新生）我国为巴西里约热内卢研制的首列电动车组6月7日在中国北车长客股份公司下线。这是世界上车体强度等级最高的电动车组，也是“中国制造”电动车组首次进
环草石斛当年生带腋芽茎段是获得再生植株的较佳材料，消毒处理以4—6min效果最好，腋芽在MS培养基上萌发生长最好，芽的继代增殖培养基为MS＋6-BA4．0mg,／L＋NAA0．2mg／L，芽的增殖系数达到3．8；1
以不同来源的51份甘蓝型黄籽油菜种质为材料，对粒重、色泽、种皮主要色素含量等主要性状进行研究。结果表明：种质间千粒重差异大，变幅在1．54～4．76g之间，平均为3．65g，多数集中在3．4～3．8g之
套袋栽培是金秋梨无公害栽培新技术，生产上已普遍应用。通过套袋果实和不套袋果实比较试验，结果表明：套袋栽培可改善金秋梨口感品质，提高果实商品性，控制农药和病虫污染危害，形状大