隐标识身份认证方法及其形式化语义分析

• 作者: 江瑾 贺前华 黄翰陞
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 隐标识身份认证方法 SVO逻辑 形式化语义分析
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 安全技术
• 页码范围: 147-148,151
• 页数: 3页
• 分类号: TP309
• 字数: 2724字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.12.051

摘要

针对用户身份标识在身份认证机制中的安全问题,提出一种隐藏身份标识的身分认证方案,用户毋需提交身份标识即可与服务器实现身份认证,并采用形式化的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