西安电子科技大学学报（自然科学版）1998，Vol.25Issue(3)：380-382,3.
认证协议形式分析的讨论
The discussion of formal analysis for authentication protocols
摘要
关键词
BAN逻辑/认证协议/安全分类
信息技术与安全科学引用本文复制引用
田建波,徐胜波,王育民..认证协议形式分析的讨论[J].西安电子科技大学学报（自然科学版）,1998,25(3):380-382,3.基金项目
国家自然科学基金及"九五"军事通信预研基金资助. （）
