论文研究一种复合协议验证逻辑模型.pdf

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