安全协议形式化分析方法

• 作者: 王亚弟 郭渊博 韩继红
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 安全协议 形式化方法 逻辑 模型检测 证明
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 数学、信息安全
• 页码范围: 272-276
• 页数: 5页
• 分类号: TN918
• 字数: 6201字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2008.03.005

摘要

安全协议的形式化分析是检验协议安全性的必要手段.为了实现协议的规范描述和合理完备的安全性验证,各种数学理论和人工智能方法被引进安全协议形式化分析与自动化验证领域.主要从逻辑方法、模型检测方法和证明方法3个方面对符号化的安全协议形式化分析方法进行了综述,并指出了今后该领域的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	信息工程大学电子技术学院	47	175	7.0	10.0
2	韩继红	信息工程大学电子技术学院	34	264	7.0	15.0
3	郭渊博	信息工程大学电子技术学院	41	99	4.0	9.0