论文部分内容阅读
形式化方法是分析与验证安全协议属性的强有力的工具。在对一阶定理证明器ProVerif深入研究的基础上,对简化的Needham-Schroeder认证协议进行了形式化分析。
基于ProVerif的安全协议形式化分析与验证
【摘 要】
：
形式化方法是分析与验证安全协议属性的强有力的工具。在对一阶定理证明器ProVerif深入研究的基础上,对简化的Needham-Schroeder认证协议进行了形式化分析。
【机 构】
：
中南民族大学计算机学院
【出 处】
：
计算机安全
【发表日期】
：
2011年10期
其他文献
返回类位移动词“回、还、归、返”尽管具有共同的语义特征和意象图式,但语义上仍存在一定的差异。通过对各词语义的梳理及本义的分析,文章提取出这四个词的区别性语义特征分
民族民间舞蹈文化是一个民族的标志,它展现着一个民族的历史传统、生活特征、审美风格,象征着一个民族的繁荣与兴盛。然而,在当今世界,古老的民族民间舞蹈文化不断受到经济浪
新中国初期的反封建斗争取得了举世瞩目的辉煌战果。但是,新中国初期的反封建斗争还存在一些缺失和不足,把社会形态意义上反封建任务的完成等同于思想政治领域反封建任务的彻
<正>在品牌之争大行其道的当前,不少人认为,商标就是品牌,或品牌就是商标,甚至很多的企业经营者也是这样认为的,这种错误的认识说明两点:一是说明对品牌概念不理解,品牌意识
采用多种手段分析不同条件预合金粉末对金刚石刀头的影响。研究结果表明：预合金粉末的成分不同,其与金刚石表面的润湿性差异比较明显,依据各种金属的物理化学性能及金刚石工具
机械产品的设计已不是传统意义上的设计，而是使用融入了新方法、新原理、新观点的现代设计方法对产品进行设计．对于机械设计人员掌握这些现代设计方法是很必要的，本文探讨了现代
交通是联系城市社会活动、经济活动的动脉和纽带,城市中的各个组成部分是通过城市交通路线构成一个相互协调、有机联系的整体,对城市发展具有重要作用。如果可以通过视频技术
房地产开发项目在建设过程中需注重地形的处理,遇到边坡时需根据实际情况采取合理的边坡支付方案,在结合支护标准、景观效果的同时,也必然要考虑成本。文章结合房地产项目在
在中国社会大发展的当下,因为以汉族为主要民族成分的广大东部地带在经济、文化、教育等各个领域已经成为如今中国的经济社会发展最发达也是发展最快的地区,但是,与此同时,那