一种安全协议的形式化分析方法

• 作者: 王昕 袁超伟
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 形式化分析 安全协议 BAN逻辑 NSSK协议
• 年，卷（期）: 2010,（7）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 82-83,86
• 页数: 3页
• 分类号: TP309
• 字数: 2317字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.07.029

摘要

对快速、高效的形式化分析安全协议进行研究,提出"信任域"的概念.采用与图形化相结合的分析方法,使得协议流程的推导过程清晰、直观.该方法直接分析协议参与主体的信任域,简化分析过程和步骤.实验结果表明,与传统方法相比,该方法更快速、直观,并能为分析协议的冗余性提供具体方法和依据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁超伟	北京邮电大学信息与通信工程学院	83	578	12.0	21.0
2	王昕	北京邮电大学信息与通信工程学院	5	21	2.0	4.0