一种分析和设计认证协议的新逻辑[EB/OL]
北京：中国科技论文在线
认证协议的分析和设计可以在同一个逻辑框架中来进行
根据扩展后的BAN逻辑
） 摘要： 本文扩展了BAN逻辑
Authentication Protocol 下载PDF阅读器 PDF全文下载： 初稿 （ 142 ） 作者简介： 通信联系人： 【收录情况】 中国科技论文在线： 缪祥华
认证协议 Miao Xianghua *
张云生 （ 昆明理工大学信息工程与自动化学院
） Abstract： This paper extends BAN logic
According to extended BAN logic, authentication protocol analysis and design are processed in the same logic
