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

Security Protocols Analysis and Design Research with Visualization

作　　者：陈铁明[1] 蔡家楣[1] 

机构地区：[1]浙江工业大学软件学院,杭州310014

出　　处：《通讯和计算机（中英文版）》2005年第12期27-31,共5页Journal of Communication and Computer

基　　金：本文得到浙江省自然科学基金项目（No.Y104158）的资助.

摘　　要：基于模态逻辑的安全协议形式化分析方法一直备受关注。本文在简述一个基于GNY逻辑实现的可视化集成工具的基础上，以SSL协议为例，详细阐述其自动分析过程。最后，就工具不能自动执行第三方信任逻辑的情况，提出了简单的可信第三方参与的扩展逻辑，为复杂安全协议的可视化分析和设计提供参考。Formal methods for security protocols analysis based on modal logic are being on hot research. This paper introduces a visual formal method integrated tool based on GNY logic, presents the automatic analysis procedure for SSL protocol, and describes some simple extended logics for the trusted third party involved reasoning. All mentioned above will be referenced to the visual analysis and design for complex security protocols.

关 键 词：安全协议 形式化方法 可视化 GNY逻辑 SSL协议 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]