基于形式化方法的安全协议安全性分析

• 作者: 刘晖 张宝峰 毕海英 毛军捷 邓辉
• 来源期刊: 通信技术
• 学科: 工学
• 关键词: 安全协议 安全性分析 形式化方法 网络安全
• 年，卷（期）: 2015,（9）
• 所属期刊栏目: 安全与保密
• 页码范围: 1068-1072
• 页数: 5页
• 分类号: TP309
• 字数: 4134字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0802.2015.09.016

摘要

协议安全是确保网络数据安全的基础。传统的基于观察的人工分析协议安全性分析已不能满足安全需求。如何研究安全协议及安全属性的性质，使两者在统一框架下实现可分析和验证是亟待解决的问题，形式化分析为解决这一问题提供了精确的数学手段和强大的分析工具。对已有的安全协议形式化分析方法进行了归纳和总结，并从等价验证、协议优化和增强分析准确度三方面提出了未来的研究设想。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毕海英		4	12	3.0	3.0
2	刘晖		10	10	2.0	2.0
3	邓辉		5	9	2.0	3.0
4	张宝峰		11	44	3.0	6.0
5	毛军捷		6	26	4.0	5.0