首页 > 《通讯和计算机：中英文版》 > 2005年12期 > 安全协议的可视化分析和设计研究

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

在线阅读下载PDF 导出详情

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

DOI wjv56v19d7/477526

作者陈铁明;蔡家楣

机构地区不详

出处《通讯和计算机：中英文版》 2005年12期

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

分类 [自动化与计算机技术][计算机应用技术]

出版日期 2005年12月22日（中国期刊网平台首次上网日期，不代表论文的发表时间）

相关文献

1王伟. 网络安全数据可视化分析.建筑技术科学,2021-11.
2黄文胜. 中国养生旅游研究可视化分析.职业技术教育学,2018-01.
3高韩1,3,万兴丽1,3,胡艳玲1,3,李霞1,3,江艳2,3（通讯作者）. 基于CiteSpace的儿童安全座椅可视化分析.临床医学,2022-11.
4赵燕. 基于CNKI数据的生态安全评价研究的可视化分析.,2022-11.
5张延成;孙婉. 荆楚文化研究现状可视化分析.教育学,2013-06.
6梦非. 我国反恐情报研究可视化分析.情报学,2018-01.
7鲍永岩. 复杂机械创新设计及其可视化分析.建筑设计及理论,2016-12.
8彭德明. 中国采矿工程安全研究的可视化分析.工程地质学,2021-12.
9陈丞. 基于知识图谱的地铁施工安全研究可视化分析.建筑理论,2023-03.
10郭颍涛;刘晓英. 我国竞争情报研究的可视化分析.情报学,2013-02.

来源期刊

通讯和计算机：中英文版

通讯和计算机：中英文版

相关推荐

同分类资源更多

相关关键词

安全协议形式化方法可视化 GNY逻辑 SSL协议

返回顶部