安全协议形式化分析研究

• 作者: 石乐 胡爱群 陈先棒 高尚
• 来源期刊: 密码学报
• 学科: 工学
• 关键词: 安全协议 协议形式化分析 复合协议
• 年，卷（期）: 2014,（5）
• 页码范围: 504-512
• 页数: 9页
• 分类号: TP309.7
• 字数: 7765字
• 语种: 中文
• DOI: 10.13868/j.cnki.jcr.000047

摘要

计算机网络中,安全协议为通信双方的信息交互提供安全保证,是计算机网络安全的基础.而当安全协议中存在安全漏洞时,会对信息安全产生重大威胁,造成数据泄露、身份被冒用等危害.因此,对于安全协议安全性的研究,历来都属于安全领域的重要研究方向.目前的安全性分析方法主要是通过协议形式化分析与验证来实现.形式化分析方法的理论体系大致可分为三类:模态逻辑技术、模型检测技术和定理证明技术.在不同类别的理论体系中,所使用的技术方法各有不同,对安全协议分析的侧重点也略有不同.对于每一种理论体系,研究者们也提出了不同的方法,以及针对经典方案的改进来提高形式化分析的准确性.对于复合协议,其主要问题是通过对多种现有可靠安全协议加以组合,构成新的协议并保持其安全性可靠.对于复合协议的安全性分析,也有异于普通的安全协议形式化分析.本文总结了各种类别中的主要分析方法,并比较了每种方法的优缺点,同时特别针对复合协议的安全性分析技术进行了概述.最后指出了形式化分析方法中需要解决的问题,以及下一步的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡爱群	东南大学信息科学与工程学院信息安全研究中心	204	2184	22.0	39.0
2	石乐	东南大学信息科学与工程学院信息安全研究中心	3	48	3.0	3.0
3	高尚	东南大学信息科学与工程学院信息安全研究中心	4	14	2.0	3.0
4	陈先棒	东南大学信息科学与工程学院信息安全研究中心	1	10	1.0	1.0