基于改进语义SVO逻辑的二维认证协议分析

摘要：

一种基于二维几何距离的实体认证协议无需在非安全信道当中传送密钥,使得认证的过程更加安全与便捷,然而该协议的正确性与安全性并未得到严格论证.考虑该实体认证协议的特点,采用改进语义的SVO逻辑对其进行合理性描述,并对其运行过程进行形式化的具体分析,发现该协议在认证过程中存在着双方认证不确定的缺陷.针对此缺陷提出了一种修正方案,以确保认证协议的正确性,并且通过改进语义SVO逻辑的形式化分析证明了该改进认证协议的安全性.

关键词：二维几何认证、改进语义、SVO逻辑

所属期刊栏目：27

分类号：TP393.08(计算技术、计算机技术)

资助基金：国家自然科学基金60572141;广东省广州市科技攻关项目

在线出版日期：2008-03-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：2951-2953