论文部分内容阅读
在安全协议的形式化分析方法中,串空间模型和基于串空间模型的认证测试方法是比较常用的验证方法。针对Need-ham-Schroeder协议存在中间人攻击的缺陷,提出对协议的改进并采用认证测试方法,验证了改进的协议可以满足协议的安全目标。
Needham-Schroeder协议的认证测试方法形式化分析
【摘 要】
：
在安全协议的形式化分析方法中,串空间模型和基于串空间模型的认证测试方法是比较常用的验证方法。针对Need-ham-Schroeder协议存在中间人攻击的缺陷,提出对协议的改进并采用
【机 构】
：
电子科技大学计算机科学与工程学院,中国民用航空飞行学院计算机学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年19期
【基金项目】
：
民航局科研基地863项目(No.2007kf003)~~
其他文献
以氢气在道路运输过程中发生的泄漏扩散事故为研究对象,在传统高斯点源模型基础上考虑车辆运行的影响,从瞬时泄漏和连续泄漏两个方面模拟道路运输氢气发生泄漏后的扩散过程。
近年来，研究生学术不端事件屡有发生，主要表现是抄袭、剽窃他人成果、捏造或篡改实验数据、发表论文“一稿多投”、杜撰参考文献，引文不加注释、不当署名等。研究生学术不端行为
目的基于ALK5靶点,通过分子对接技术对肾康丸的有效成分进行筛选,并验证各分子在高糖模型中的作用,从而筛选出肾康丸影响内皮细胞内皮-间质转化活性的有效成分,优化组方配伍
共创过程中的企业支持要素亦是解读共创信号的信息源，这一要素激发观察者对参与顾客的自主性及胜任性认知。通过焦点小组访谈、问卷调查、结构方程模型分析及Bootstrap法中介
华润创业有限公司旗下的华润万家超市经过二十多年的发展,现已成为我国主要大型连锁零售超市.大连,是我国经济发达的旅游城市之一,华润万家在大连已经有8家门店,其中包括2家O
以喀什师范学院图书馆为例，通过对汉文图书利用率和阅读倾向分析，提出存在的问题，并对进一步加强高校图书馆信息资源建设工作提出了建议。
本文在现代汉语新的历史层面上,结合前人的研究理论,对有关基本词汇争议最多的几个重要问题进行了重新思考与分析。在明确了基本词汇的特征、范围、时限的基础之上,提出了现
市场经济的发展和治道变革催生了社区“治理”理念，它主要表现为社区治理主体的多元化和治理方式的民主化。社区党组织作为多元治理主体之一，居于主导地位，发挥领导核心作用。社