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

• Live-fingerprint based user identity authentication protocol and its formal analysis