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

• 作者: 江瑾 贺前华 黄翰陞
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 二维几何认证 改进语义 SVO逻辑
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 网络与信息安全
• 页码范围: 2951-2953
• 页数: 3页
• 分类号: TP393.08
• 字数: 2869字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贺前华	华南理工大学电子与信息学院	84	507	12.0	17.0
2	江瑾	华南理工大学电子与信息学院	5	11	2.0	3.0
3	黄翰陞	华南理工大学电子与信息学院	2	3	1.0	1.0