基于Scyther的密钥建立协议设计

摘要：

Scyther软件是一种功能较强的基于操作语义的协议自动化分析工具.首先介绍Scyther软件的原理、特征及使用方法,然后提出一种使用协议自动化分析工具实现安全协议设计的方法,即利用Scyther软件逐步添加并验证协议所必须的安全属性,最终建立一个安全的密钥建立协议.

关键词： 通信网 密钥建立协议 安全属性 Scyther软件

作者: 陆思奇 王磊 王伟 程庆丰

作者单位: 洛阳外国语学院,河南,洛阳,471003

会议类型: 国内会议

会议名称: 2013年中国信息通信研究新进展研讨会暨第五届数字媒体技术专业建设研讨会

会议地点: 石家庄

会议语种:中文

页码: 256-260

在线出版日期: 2013-11-01（万方平台首次上网日期，不代表论文的发表时间）