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

发布时间：2017-07-04 23:08

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

  更多相关文章： 原语 自动生成 可组合元素 组合设计 规则

【摘要】：为提高复合协议设计的效率和降低组合设计过程的复杂度,构建了一种基于原语自动生成的安全协议组合设计新策略。利用自动生成工具高效地设计满足安全需求的正确原语;根据新的可组合元素附加规则,修改消息项结构,添加可组合元素,使原语具备可组合性,降低后续组合设计过程的复杂度;根据新的组合设计规则,从可组合的简单原语出发构建复合协议。进行了应用研究,分别设计出了非对称密钥体制下双向认证协议和对称密钥体制下带有可信第三方的双向认证且密钥建立协议。实践分析结果表明,该策略同时具备自动设计正确高效以及组合设计简便易行的优点,是一种较为可行的、适用于复杂安全协议设计的新策略。
【作者单位】： 广西财经学院实验教学中心;中国移动通信集团广西分公司;
【关键词】： 原语 自动生成 可组合元素 组合设计 规则
【基金】：广西高等学校科学技术研究基金项目(2013YB215) 广西财经学院科研基金项目(2013B047) 广西财经学院实验教学中心经济与管理实验教学示范中心实验开发基金项目(2013syzxxm07)
【分类号】：TP393.08
【正文快照】： 0引言协议自动生成机制[1,2]能够提高安全协议设计的效率和质量,但应用范围有限,可以结合组合设计方法[3-5]进行复合协议的设计,但是必须确保各原语具备可组合性。针对此问题的研究有“应用环境相符”、“安全目标相容”、“避免符号重复”、“选择无干扰性原语”、“规范符号

【参考文献】

中国期刊全文数据库 前10条

1 谢鸿波;吴远成;刘一静;周明天;;一种安全协议的组合分析模型研究[J];电子学报;2008年11期

2 刘冬梅;卿斯汉;侯玉文;李鹏飞;;一种基于适应度函数遗传算法的公平交换协议自动生成方法[J];电子学报;2010年05期

3 贾洪勇;卿斯汉;谷利泽;杨义先;;通用可组合的组密钥交换协议[J];电子与信息学报;2009年07期

4 李晓乐;董荣胜;吴光伟;;基于组合设计方法的安全支付协议的设计与验证[J];广西科学院学报;2007年04期

5 张孝红;李谢华;;基于串空间的安全协议自动化验证算法[J];计算机工程;2011年05期

6 邓帆;邓少锋;李益发;;应用组合方法设计安全协议[J];计算机应用;2010年04期

7 杨帆;李彤;曹奇英;;应用组合方法设计普适计算网络安全协议[J];计算机应用研究;2009年03期

8 毋晓英;周清雷;;一种安全协议自动化分析方法[J];计算机应用研究;2010年06期

9 熊伟建;李晓乐;罗拥军;;教务管理系统中信息传输安全协议的设计与验证[J];计算机应用与软件;2009年08期

10 余磊;魏仕民;;协议主体密钥在测试组件构造上的性质分析[J];计算机工程与应用;2013年06期

【共引文献】

中国期刊全文数据库 前9条

1 彭晓惠;温明;任媛媛;;基于SOA技术的管理信息系统设计[J];电子设计工程;2012年16期

2 赵秀凤;徐秋亮;韦大伟;;群组密钥协商协议的安全性分析方法研究[J];计算机科学;2011年06期

3 张妤;阴建强;胡杰;;通用可组合安全计算的信任模型研究[J];计算机应用;2012年05期

4 文双举;;Kaman协议的形式化验证[J];计算机与现代化;2012年04期

5 宋巍涛;胡斌;;一种适用于嵌套加密协议分析的强认证测试方法[J];计算机科学;2015年01期

6 李晓乐;翁鸣;庞原红;;行为原语自动生成的电子商务协议可组合设计策略及应用研究[J];计算机应用与软件;2015年06期

7 余磊;魏仕民;卓泽朋;;认证测试中协议主体串参数一致性研究[J];计算机工程与应用;2015年13期

8 刘家芬;;基于串空间理论的安全协议自动验证[J];计算机应用;2015年07期

9 周清雷;毋晓英;;认证测试方法的扩展及其应用[J];郑州大学学报(工学版);2010年03期

中国博士学位论文全文数据库 前3条

1 周由胜;门限密码相关技术研究[D];北京邮电大学;2011年

2 吕庆聪;普适计算语义服务发现与服务组合研究[D];东华大学;2009年

3 郭显;移动Ad Hoc网络安全路由协议设计与分析技术研究[D];兰州理工大学;2011年

【二级参考文献】

中国期刊全文数据库 前10条

1 周展飞,周典萃,王贵林,卿斯汉;电子商务协议的公平性[J];电子学报;2000年09期

2 刘道斌,郭莉,白硕;基于Petri网的安全协议形式化分析[J];电子学报;2004年11期

3 陶志红,Hans KleineBu，

本文编号：519654