-
题名隐标识身份认证方法及其形式化语义分析
- 1
-
-
作者
贺前华
江瑾
黄翰陞
-
机构
华南理工大学电子与信息工程学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第12期147-148,151,共3页
-
基金
国家自然科学基金资助项目(60572141)
-
文摘
针对用户身份标识在身份认证机制中的安全问题,提出一种隐藏身份标识的身分认证方案,用户毋需提交身份标识即可与服务器实现身份认证,并采用形式化的SVO逻辑语言分析该协议。SVO逻辑体系下的实验表明,该协议达到了预期的设计目标。
-
关键词
隐标识身份认证方法
SVO逻辑
形式化语义分析
-
Keywords
hidden-ID authentication scheme
SVO logic
formal semantic analysis
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于改进语义SVO逻辑的二维认证协议分析
被引量：1
- 2
-
-
作者
黄翰陞
贺前华
江瑾
-
机构
华南理工大学电子与信息学院
-
出处
《计算机应用》
CSCD
北大核心
2007年第12期2951-2953,共3页
-
基金
国家自然科学基金资助项目(60572141)
广州市攻关项目
-
文摘
一种基于二维几何距离的实体认证协议无需在非安全信道当中传送密钥,使得认证的过程更加安全与便捷,然而该协议的正确性与安全性并未得到严格论证。考虑该实体认证协议的特点,采用改进语义的SVO逻辑对其进行合理性描述,并对其运行过程进行形式化的具体分析,发现该协议在认证过程中存在着双方认证不确定的缺陷。针对此缺陷提出了一种修正方案,以确保认证协议的正确性,并且通过改进语义SVO逻辑的形式化分析证明了该改进认证协议的安全性。
-
关键词
二维几何认证
改进语义
SVO逻辑
-
Keywords
two-dimensional authentication
augment semantics
SVO logic
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
