摘要
近年来,人们对身份认证协议的模拟和验证越来越关注.因为身份认证协议一般很短,可以使用的范围广,而且并不十分复杂,可以用一些非形式化的证明方法来分析或验证它的正确性.但是,为了保证其安全性,往往需要几种方式同步进行.
In recent years,people begin to pay more and more attention to the simulation and confirmation of identity authentieation agreement. The identity authentication agreement is generally short and used in wide scope. Moreover, it is not very complex and its accuracy can be confirmed by some non-formalized proof. However,in order to guarantee its seeurity, several ways of authentication are needed to carry on.
出处
《河北建筑工程学院学报》
CAS
2009年第2期110-113,共4页
Journal of Hebei Institute of Architecture and Civil Engineering
基金
河北省科学技术研究与发展指导计划(06213588)
关键词
身份认证
数字签名
身份验证
深度优先遍历
identity authentication
digital signature
identity confirmation
depth-first traversal
