论文部分内容阅读
随着移动应用广泛普及，移动通信的安全要求就愈来愈高，而移动设备计算能力相对较低，如何降低移动端的计算量是移动通信的认证密钥协商协议需要解决的问题．为了降低通信中移动端的计算量，很多用于移动设备的身份认证协议采用哈希函数代替签名机制进行身份认证，而SVO逻辑缺乏对哈希函数用于身份认证的形式化描述，因此，扩展了SVO逻辑分析哈希函数的逻辑语法，增加了相应的推理公理，证明了推理公理的安全性．然后，讨论了SVO逻辑方法的分析目标，举例证明了其实体认证目标存在的漏洞，提出新的认证目标，同时分析了新目标的安全性．实验