一类具有“开端”结构的安全协议分析方法研究

计算机科学 ›› 2008, Vol. 35 ›› Issue (7): 45-49.

一类具有“开端”结构的安全协议分析方法研究

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文得到国家自然科学基金（60763004）,广西自然科学基金项目（0542052）的资助.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 开端协议（Open-ended Protoc01）的分析是安全协议领域中一个待解决的重要问题，而IKE则是一个有代表性的具有“开端”结构的安全协议。本文基于串空间的Athena方法，针对IKEv2协议中的“开端”结构涉及的DH（Diffie-Hellrnan）问题，增加了群、散列函数等原语，给出并证明了一个新的消减规则；针对“开端”结构，引入了集合的数学概念，建立了新的消息类型，重新定义了串空间中的消息项、替换、入侵者模型，以及Athena相应的内在项、目标和目标绑定，给出了一个新的替代关系。应用扩展后的

关键词: 开端协议 Diffie-hellman Security association 串空间 Athena

Abstract: The formal analysis of Open-ended Protocols is one of emerging areas of research. The IKEv2 protocol offers a complex example. Our work is based on Athena which is an efficient automatic checking approach. We introduce set theory to deal with Open-ended s

Key words: Open-ended protocol, Diffie-hellman, Security association, Strand spaces, Athena

. 一类具有“开端”结构的安全协议分析方法研究[J]. 计算机科学, 2008, 35(7): 45-49. https://doi.org/