一类信仰可推的认证协议

• A kind of authencation protocol with deducible belief