安全协议的形式化分析方法初探

• 作者: 郭宇燕
• 来源期刊: 内江科技
• 学科: 工学
• 关键词: 安全协议 形式化分析方法 安全属性
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 网络纵横
• 页码范围: 136
• 页数: 1页
• 分类号: TP3
• 字数: 1793字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-1436.2007.11.106

摘要

安全协议是网络安全的重要因素,但是它并不完善,我们需要用形式化的方法去分析它是否具有相应的安全属性本文主要分析了三类典型的安全协议形式化分析方法,研究这些方法的基本思想和优缺点,并提出了形式化分析方法中存在的问题及可行的解决办法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭宇燕		6	5	1.0	2.0