安全协议形式化验证方法综述

• 作者: 陈传峰 项俊龙
• 来源期刊: 信息安全与通信保密
• 学科: 工学
• 关键词: 安全协议 形式化方法 pi演算 Applied pi演算
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 专家新论
• 页码范围: 52-54
• 页数: 3页
• 分类号: TP918.1
• 字数: 4295字
• 语种: 中文

摘要

安全协议作为确保网络安全的关键技术,其安全性直接决定了网络的安全性能.然而安全协议设计与分析存在着诸多困难,目前采用的主要方法是形式化方法,主要分为模态逻辑的方法、模型检测的方法、定理证明方法3种.这3种方法特性各不相同,试用范围也有所区别,而且这些方法或多或少都存在着一定的缺陷.Applied pi演算是一种专门针对安全协议设计的理论成熟的形式化方法,它的出现为安全协议的分析带来了全新的思路.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈传峰	福州大学物理与信息工程学院	21	231	5.0	15.0
2	项俊龙	福州大学物理与信息工程学院	2	6	1.0	2.0