摘要
随着网络应用的迅速发展,网络安全的问题日益重要.研究下述课题:安全协议的设计原则;安全协议设计中形式化方法的应用;各种形式化分析方法,特别是逻辑分析方法的特点.另外,还探讨了串空间模型在逻辑分析中的应用以及串空间模型指导安全协议形式化设计的可能性.
With the rapid growth of network applications, network security has become an important issue. The following issues are investigated: the design principles of security protocols, the use of formal methods in the design of security protocols, the characteristics of various approaches to formal analysis, in particular logical analysis. The strand space approach to logical analysis, and the possibility of the strand space model guiding the formal design of security protocols are also explored.
出处
《软件学报》
EI
CSCD
北大核心
2003年第7期1300-1309,共10页
Journal of Software
基金
国家自然科学基金
国家重点基础研究发展规划(973)~~
关键词
安全协议
设计
逻辑分析
BAN类逻辑
串空间
Cryptography
Design
Formal logic
Mathematical models
Security of data
