一个基于活体指纹的用户身份认证协议及其形式化分析

• 作者: 张险峰 李韶光 秦志光
• 来源期刊: 重庆邮电学院学报（自然科学版）
• 学科: 工学
• 关键词: 活体指纹 认证 协议 形式化分析
• 年，卷（期）: 2004,（6）
• 所属期刊栏目: 学术论文
• 页码范围: 57-60,121
• 页数: 5页
• 分类号: TP391
• 字数: 3969字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-825X.2004.06.014

摘要

基于认证协议要求,提出了一个基于活体指纹的用户身份认证协议,并运用BAN逻辑对该协议进行了形式化分析.除形式化分析外,还从安全性和执行效率方面对该协议进行了定性分析,分析表明该协议能够使网络上的双方完成双向认证、有效地抵抗重放攻击、保证认证信息的机密性,并且具有良好的执行效率.