随着信息安全需求的不断增加，多因素认证协议的重要性日益凸显，其安全性问题以及通用的安全分析方法也受到了越来越多的关注.本文基于通用可组合(Universally Composable, UC)框架，提出一种多因素认证协议的可证明安全模型，与现有模型相...