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

宝哥-9296 · 发表于 2008-1-18 09:49:17

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

cdma1xdj · 发表于 2008-8-28 20:18:58

感谢提供

wave1 · 发表于 2009-3-20 23:06:57

Thank you very much,that's good.

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

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

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

站长推荐 /4