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

摘要：

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

关键词：复合协议、形式化分析、逻辑模型、并行复合、顺序复合、IKEv2协议

所属期刊栏目：27

分类号：TP309(计算技术、计算机技术)

在线出版日期：2010-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：274-277