###
DOI:
Journal of Software:2003.14(7):1300-1309

安全协议的设计与逻辑分析
卿斯汉
(中国科学院,软件研究所,信息安全国家重点实验室,北京,100080;中国科学院,信息安全技术工程研究中心,北京,100080)
Design and Logical Analysis of Security Protocols
QING Si-Han
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 6236   Download 4752
Received:January 23, 2003    Revised:January 23, 2003
> 中文摘要: 随着网络应用的迅速发展,网络安全的问题日益重要.研究下述课题:安全协议的设计原则;安全协议设计中形式化方法的应用;各种形式化分析方法,特别是逻辑分析方法的特点.另外,还探讨了串空间模型在逻辑分析中的应用以及串空间模型指导安全协议形式化设计的可能性.
中文关键词: 安全协议  设计  逻辑分析  BAN类逻辑  串空间
Abstract:With the rapid growth of network applications, network security has become an important issue. In this paper, 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.
文章编号:     中图分类号:    文献标志码:
基金项目:(Supported by the National Natural Science Foundation of China under Grant No.60083007 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.G1999035810 (国家重点基础研究发展规划(973)) (Supported by the National Natural Science Foundation of China under Grant No.60083007 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.G1999035810 (国家重点基础研究发展规划(973))
Foundation items:
Reference text:

卿斯汉.安全协议的设计与逻辑分析.软件学报,2003,14(7):1300-1309

QING Si-Han.Design and Logical Analysis of Security Protocols.Journal of Software,2003,14(7):1300-1309