安全协议的形式化分析概述

摘要：

随着网络的迅速发展，网络安全问题日益突出，正确分析和验证安全协议尤为必要。目前对安全协议进行分析的主流方法是形式化分析方法。形式化分析方法多种多样，本文对当前主要的几种方法进行了概述和总结，并指出了下一步工作方向。

关键词： 安全协议 形式化分析 BAN逻辑 模型检测 网络安全

作者: 刘丽明 朱广良 潘进

作者单位: 西安通信学院,陕西西安,710106

会议类型: 国内会议

会议名称: 第六届全国信号与信息处理联合学术会议

会议地点: 大连

会议语种:中文

页码: 308-310

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