|
|||||
|
|
| 基于扩展SVO逻辑的身份认证协议在军事通信中的应用 | |
| 引用本文： | 王荣,周兰江.基于扩展SVO逻辑的身份认证协议在军事通信中的应用[J].福建电脑,2007(8):82-83. |
| 作者姓名： | 王荣 周兰江 |
| 作者单位： | 1. 昆明理工大学,信自学院,云南,昆明,650051;云南省德宏军分区司令部,678400 2. 昆明理工大学,信自学院,云南,昆明,650051 |
| 摘 要： | 军事通信中,移动终端的身份认证是一个重要的问题,为了降低通信中移动端的计算量,移动设备的身份认证协议采用哈希函数代替签名机制进行身份认证.而形式化分析的SVO逻辑方法没有适用于哈希函数进行身份认证的逻辑语法,本文采用扩展SVO逻辑方法,实现一个基于扩展SVO逻辑方法的移动通信中可相互认证的实体认证协议,协议经过验证证明有较好的可适用性. |
| 关 键 词： | 军事通信 安全协议 哈希函数 形式化分析 SVO逻辑 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |