首页 | 官方网站   微博 | 高级检索  
     

认证协议的形式化分析*
引用本文:卿斯汉.认证协议的形式化分析*[J].软件学报,1996,7(Z1):107-114.
作者姓名:卿斯汉
作者单位:中国科学院软件研究所北京100080
摘    要:认证协议的设计是一项十分困难的工作。国际标准化组织(ISO)一直致力于不同环境的认证协议标准的制定.本文研究用BAN逻辑形式化地分析认证协议的方法,指出BAN逻辑分析并非总是推导出正确的结论.在此基础上,本文讨论了认证协议的设计原则以及改进BAN逻辑的设想.

关 键 词:认证,认证协议,BAN逻辑,密码算法  杂凑函数,数字签名.
收稿时间:1995/11/3 0:00:00

FORMAL ANALYSIS OF AUTHENTICATION PROTOCOLS
Qing Sihan.FORMAL ANALYSIS OF AUTHENTICATION PROTOCOLS[J].Journal of Software,1996,7(Z1):107-114.
Authors:Qing Sihan
Abstract:
Keywords:
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号