A kind of authencation protocol with deducible belief

• 一类信仰可推的认证协议