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

摘要：

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

关键词：活体指纹、认证、协议、形式化分析

所属期刊栏目：16

分类号：TP391(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002AA142040

在线出版日期：2004-12-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：57-60,121