安全协议形式化分析的MT组合分析技术

摘要：

本文分析了模型检测技术和理论生成技术的优点与不足,并在此基础上提出了MT(Model checking-Theory induction)组合分析技术,该技术可提供更为完全的安全协议形式化分析方法.

关键词： 协议形式化分析 模型检测 理论生成 MT组合技术 安全协议 信息安全

作者: 范红 冯登国 邹良惠 郭金庚

作者单位: 中科院信息安全国家重点实验室(北京) 解放军信息工程大学(郑州)

会议类型: 国内会议

会议名称: 第七届中国密码学学术会议

会议地点: 威海

会议语种:中文

页码: 301-307

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