基于原语自动生成的安全协议组合设计策略及应用研究

摘要：

为提高复合协议设计的效率和降低组合设计过程的复杂度,构建了一种基于原语自动生成的安全协议组合设计新策略.利用自动生成工具高效地设计满足安全需求的正确原语;根据新的可组合元素附加规则,修改消息项结构,添加可组合元素,使原语具备可组合性,降低后续组合设计过程的复杂度;根据新的组合设计规则,从可组合的简单原语出发构建复合协议.进行了应用研究,分别设计出了非对称密钥体制下双向认证协议和对称密钥体制下带有可信第三方的双向认证且密钥建立协议.实践分析结果表明,该策略同时具备自动设计正确高效以及组合设计简便易行的优点,是一种较为可行的、适用于复杂安全协议设计的新策略.

关键词：原语、自动生成、可组合元素、组合设计、规则

所属期刊栏目：35

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

资助基金：广西高等学校科学技术研究基金项目2013YB215;广西财经学院科研基金项目2013B047;广西财经学院实验教学中心经济与管理实验教学示范中心实验开发基金项目2013syzxxm07

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

页数：共7页

页码：1207-1213