| 基于改进语义SVO逻辑的二维认证协议分析 |
| |
| 引用本文： | 黄翰陞,贺前华,江瑾.基于改进语义SVO逻辑的二维认证协议分析[J].计算机应用,2007,27(12):2951-2953. |
| |
| 作者姓名： | 黄翰陞 贺前华 江瑾 |
| |
| 作者单位： | 华南理工大学,电子与信息学院,广州,510641 |
| |
| 基金项目： | 国家自然科学基金
,
广东省广州市科技攻关项目 |
| |
| 摘 要： | 一种基于二维几何距离的实体认证协议无需在非安全信道当中传送密钥,使得认证的过程更加安全与便捷,然而该协议的正确性与安全性并未得到严格论证。考虑该实体认证协议的特点,采用改进语义的SVO逻辑对其进行合理性描述,并对其运行过程进行形式化的具体分析,发现该协议在认证过程中存在着双方认证不确定的缺陷。针对此缺陷提出了一种修正方案,以确保认证协议的正确性,并且通过改进语义SVO逻辑的形式化分析证明了该改进认证协议的安全性。
|
| 关 键 词： | 二维几何认证 改进语义 SVO逻辑 |
| 文章编号： | 1001-9081(2007)12-2951-03 |
| 修稿时间： | 2007年7月5日 |
Augment semantics SVO logic-based analysis of two-dimensional authentication protocol |
| |
| HUANG Han-sheng,HE Qiang-hua,JIANG Jin.Augment semantics SVO logic-based analysis of two-dimensional authentication protocol[J].journal of Computer Applications,2007,27(12):2951-2953. |
| |
| Authors: | HUANG Han-sheng HE Qiang-hua JIANG Jin |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
