安全协议的设计与逻辑分析

摘要：

随着网络应用的迅速发展,网络安全的问题日益重要.研究下述课题:安全协议的设计原则;安全协议设计中形式化方法的应用;各种形式化分析方法,特别是逻辑分析方法的特点.另外,还探讨了串空间模型在逻辑分析中的应用以及串空间模型指导安全协议形式化设计的可能性.

关键词：安全协议、设计、逻辑分析、BAN类逻辑、串空间

所属期刊栏目：14

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金60083007;国家重点基础研究发展计划973计划G1999035810

在线出版日期：2003-09-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：1300-1309