基于扩展SVO逻辑的身份认证协议在军事通信中的应用

• 作者: 周兰江 王荣
• 来源期刊: 福建电脑
• 学科: 工学
• 关键词: 军事通信 安全协议 哈希函数 形式化分析 SVO逻辑
• 年，卷（期）: 2007,（8）
• 所属期刊栏目: 应用与开发
• 页码范围: 82-83
• 页数: 2页
• 分类号: TN91
• 字数: 2541字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-2782.2007.08.051

摘要

军事通信中,移动终端的身份认证是一个重要的问题,为了降低通信中移动端的计算量,移动设备的身份认证协议采用哈希函数代替签名机制进行身份认证.而形式化分析的SVO逻辑方法没有适用于哈希函数进行身份认证的逻辑语法,本文采用扩展SVO逻辑方法,实现一个基于扩展SVO逻辑方法的移动通信中可相互认证的实体认证协议,协议经过验证证明有较好的可适用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周兰江	昆明理工大学信自学院	44	76	5.0	7.0