This paper presented the guarantee of security adequacy for an authentication protocol: the liveness of a principal and the confidentiality,freshness and association of a freshness component.

• 提出了保证认证协议安全性的2个条件:主体的活现性和会话密钥的保密性、新鲜性和关联性,并形式化证明了2个条件满足基于不可区分性的安全性定义。