西安电子科技大学学报（自然科学版）1999，Vol.26Issue(2)：141-144,4.
一类信仰可推的认证协议
A kind of authencation protocol with deducible belief
摘要
关键词
BAN逻辑/认证协议/信仰分类
信息技术与安全科学引用本文复制引用
刘胜利,田建波,王育民..一类信仰可推的认证协议[J].西安电子科技大学学报（自然科学版）,1999,26(2):141-144,4.基金项目
国家自然科学基金资助. （）
国家自然科学基金资助. （）
