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

• 作者: 卿斯汉
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 安全协议 设计 逻辑分析 BAN类逻辑 串空间
• 年，卷（期）: 2003,（7）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 1300-1309
• 页数: 10页
• 分类号: TP309
• 字数: 8831字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卿斯汉		145	4238	29.0	62.0