黄翰陞
- 作品数:2 被引量:1H指数:1
- 供职机构:华南理工大学电子与信息学院更多>>
- 发文基金:国家自然科学基金广州市科技攻关项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 隐标识身份认证方法及其形式化语义分析
- 2008年
- 针对用户身份标识在身份认证机制中的安全问题,提出一种隐藏身份标识的身分认证方案,用户毋需提交身份标识即可与服务器实现身份认证,并采用形式化的SVO逻辑语言分析该协议。SVO逻辑体系下的实验表明,该协议达到了预期的设计目标。
- 贺前华江瑾黄翰陞
- 关键词:SVO逻辑
- 基于改进语义SVO逻辑的二维认证协议分析被引量:1
- 2007年
- 一种基于二维几何距离的实体认证协议无需在非安全信道当中传送密钥,使得认证的过程更加安全与便捷,然而该协议的正确性与安全性并未得到严格论证。考虑该实体认证协议的特点,采用改进语义的SVO逻辑对其进行合理性描述,并对其运行过程进行形式化的具体分析,发现该协议在认证过程中存在着双方认证不确定的缺陷。针对此缺陷提出了一种修正方案,以确保认证协议的正确性,并且通过改进语义SVO逻辑的形式化分析证明了该改进认证协议的安全性。
- 黄翰陞贺前华江瑾
- 关键词:SVO逻辑