%0 Journal Article
%T 一个基于活体指纹的用户身份认证协议及其形式化分析
%A 李韶光
%A 张险峰
%A 秦志光
%J 重庆邮电大学学报(自然科学版)
%D 2004
%X 基于认证协议要求,提出了一个基于活体指纹的用户身份认证协议,并运用BAN逻辑对该协议进行了形式化分析。除形式化分析外,还从安全性和执行效率方面对该协议进行了定性分析,分析表明该协议能够使网络上的双方完成双向认证,有效地抵抗重放攻击,保证认证信息的机密性，并且具有良好的执行效率。
%K 活体指纹
%K 认证
%K 协议
%K 形式化分析
%U http://journal.cqupt.edu.cn/jcuptnse/jcuptnse/ch/reader/view_abstract.aspx?file_no=20040614&flag=1