论文部分内容阅读
安全协议是指使用密码技术或提供安全服务的协议,可以实现认证和密钥交换等安全目的。安全协议分析工具是指一套建立和分析安全协议模型的工具,它采用形式化的分析方法对安全协议进行分析并得出结论。文章以EKE协议为例,采用AVISPA分析工具对其安全性进行分析,给出了安全性与攻击轨迹的关系。
安全协议形式化分析的研究和实现
【摘 要】
：
安全协议是指使用密码技术或提供安全服务的协议,可以实现认证和密钥交换等安全目的。安全协议分析工具是指一套建立和分析安全协议模型的工具,它采用形式化的分析方法对安全协议进行分析并得出结论。文章以EKE协议为例,采用AVISPA分析工具对其安全性进行分析,给出了安全性与攻击轨迹的关系。
【机 构】
：
现代通信国家重点实验室,四川,成都,610041;总参谋部通信部驻成都地区军代室,四川,成都,610041
【出 处】
：
信息安全与通信保密
【发表日期】
：
2008年08期
其他文献
MADS-box基因编码的蛋白为转录因子,在被子植物花发育调控中发挥关键作用。其中,PI-like基因主要调控花瓣和雄蕊的形成。利用3’-c DNA末端快速扩增技术,从人参花蕾中克隆得
矾根可谓花园调色板,-15℃至38℃均可生长,喜冷凉不喜高温,叶子颜色四季多变.矾根品种繁多,色彩丰富,我特别喜欢混搭效果,亮色暗色相间搭配,再加入朱蕉,蕨类,蜡菊,银叶菊……
期刊
随着社会科学技术的进步,现阶段BIM技术被广泛应用于建筑行业,并且收到了良好的经济效益,也使民众得以共享这一技术带来的优势.BIM作为设计技术革命的产物,与以前技术相比,不
随着统一通信的应用日益广泛,其安全性问题也越来越成为关注的重点。文章首先概述了统一通信的概念及主流技术路线,并结合XMPP对已有安全机制和安全威胁做了分析,根据安全前移的思想,设计了基于TNC工作原理的安全解决方案。
城市建筑垃圾运输行业一直以来存在着行业形象差、政府治理难、市民不满意等问题.本文以编制新型建筑垃圾运输车辆技术规范为例,从车辆技术规格的角度,阐述了新型运输车辆的
美国波士顿国际水产博览会于3月12日在美国波士顿落下帷幕,据参展的罗非鱼加工企业反映,此次波士顿展上罗非鱼的签单量与去年基本持平,情况不甚乐观2013年罗非鱼出口的整体情
科学技术的发展带动着地形图测绘技术不断的进步,本文就数字测量技术在地形图测绘中的各方面应用展开具有一定深度的分析和研究,对数字化测图技术的各项特点进行了一定的总结
阐述了开关磁阻发电机(SRG)的发电原理,给出了三相6/4结构SRG的数学模型,利用Matlab工具在Simulink环境下建立了SRG的行为模型,进行了负载突加、负载突卸、缺相等工作状态的仿真分析,验证了模型的合理性。完成了SRG通过汇流条和二次电源加载负载的建模仿真,仿真结果证实了本模型可以作为飞机供电系统仿真模型的一个子系统来分析研究。通过SRG的简化模型进行稳定性分析,用根轨迹和bode图
目前,防腐保温技术在我国工程领域占据着重要的地位,作为一种新技术在暖通空调工程,防腐保温技术能有效地保证暖通空调管加热并保持良好的状态.在空调暖气管系统正常运行的前