一种安全协议分析的逻辑模型

摘要：

逻辑分析是安全协议分析的重要手段,本文在BAN(类)逻辑的基础上进行了重要的改进,并提出了目标驱动的分析方法以及协议分析树的概念.改进后的验证逻辑与原有逻辑相比,分析能力有所扩展、自动化分析系统的实现更为简便.

关键词： 安全协议分析 逻辑分析 目标驱动 协议分析树 网络安全 身份验证 密钥分配

作者: 杨明 罗军舟

作者单位: 东南大学计算机科学与工程系(南京)

会议类型: 国内会议

会议名称: 全国网络与信息安全技术研讨会”2004

会议地点: 北京

会议语种:中文

页码: 177-185

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