一种复合协议验证逻辑模型

• 作者: 朱玉娜 王亚弟 赵娟 韩继红 黄卿
• 来源期刊: 计算机应用研究
• 关键词: 复合协议 形式化分析 逻辑模型 并行复合 顺序复合 IKEv2协议
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 信息安全技术
• 页码范围: 274-277
• 页数: 4页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.01.081

摘要

针对协议复合时需要解决的问题,研究提出一种复合协议验证逻辑模型,给出了协议描述、逻辑语法、逻辑语义和相应的证明系统,对协议的秘密性和认证性进行建模,将协议复合分为并行复合和顺序复合,并提出相应的协议复合定理.最后以IKEv2协议为例进行分析,证明了IKEv2两个分别安全的阶段子协议复合后还是安全的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	解放军信息工程大学电子技术学院	68	257	9.0	11.0
2	韩继红	解放军信息工程大学电子技术学院	59	243	9.0	11.0
3	赵娟	解放军信息工程大学电子技术学院	2	2	1.0	1.0
4	黄卿	解放军信息工程大学电子技术学院	3	4	1.0	1.0