首页 | 本学科首页   官方微博 | 高级检索  
     

一种BAN—逻辑的修正
作者姓名:郑东 王常杰
摘    要:本文指出了BAN-逻辑推理中存在的逻辑错误,提出了一种改进的BAN-逻辑,它具有精确的语义定义和正确的推理规则,当协议的初始条件正确时,逻辑推理的结论是正确的。

关 键 词:认证协主义 BAN-逻辑 逻辑推理 密码协议
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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