安全协议的可视化分析和设计研究

• 作者: 蔡家楣 陈铁明
• 来源期刊: 通讯和计算机：中英文版
• 学科: 工学
• 关键词: 安全协议 形式化方法 可视化 GNY逻辑 SSL协议
• 年，卷（期）: 2005,（12）
• 页码范围: 27-31
• 页数: 5页
• 分类号: TP393.08

摘要

基于模态逻辑的安全协议形式化分析方法一直备受关注。本文在简述一个基于GNY逻辑实现的可视化集成工具的基础上，以SSL协议为例，详细阐述其自动分析过程。最后，就工具不能自动执行第三方信任逻辑的情况，提出了简单的可信第三方参与的扩展逻辑，为复杂安全协议的可视化分析和设计提供参考。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡家楣	浙江工业大学软件学院	56	730	13.0	24.0
2	陈铁明	浙江工业大学软件学院	60	357	11.0	15.0