基于PDS的IKE安全协议形式化分析

• 作者: 常青美 王惠斌 祝跃飞
• 来源期刊: 河南师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 安全协议 形式化分析 IKE协议 PDS
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 研究论文
• 页码范围: 33-35
• 页数: 3页
• 分类号: TP393
• 字数: 1906字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-2367.2007.03.011

摘要

介绍了支持复杂协议形式化并行推导的PDS 协议衍生推导系统和IKE协议.给出了使用PDS形式化衍生IKE协议的核心认证部分的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	祝跃飞	解放军信息工程大学信息工程学院	62	440	13.0	16.0
2	王惠斌	解放军信息工程大学信息工程学院	13	23	3.0	4.0
6	常青美	解放军信息工程大学信息工程学院	17	69	5.0	7.0