逻辑化方法的分析改进及其与串空间方法的比较

摘要：

本文分析了以前的BAN类逻辑方法,指出了其存在的问题,针对密码协议分析提出了新的逻辑语义,给出了X涵项及消息真实性和双向可追溯性等重要概念.

关键词： BAN类逻辑 密码协议 协议分析 串空间

作者: 李益发 韩臻 卿斯汉 沈昌祥

作者单位: 解放军信息工程大学信息工程学院(中国郑州) 北京交通大学计算机学院(中国北京) 中国科学院软件研究所(中国北京) 海军计算技术研究所(中国北京)

会议类型: 国内会议

会议名称: 第四届中国信息和通信安全学术会议

会议地点: 西安

会议语种:中文

页码: 66-74

在线出版日期: 2005-04-01（万方平台首次上网日期，不代表论文的发表时间）