计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2014年
4期
1207-1213
,共7页
李晓乐%翁鸣%罗应机%文英
李曉樂%翁鳴%囉應機%文英
리효악%옹명%라응궤%문영
原语%自动生成%可组合元素%组合设计%规则
原語%自動生成%可組閤元素%組閤設計%規則
원어%자동생성%가조합원소%조합설계%규칙
primitive%automatic generation%compositional element%composition design%rule
为提高复合协议设计的效率和降低组合设计过程的复杂度,构建了一种基于原语自动生成的安全协议组合设计新策略.利用自动生成工具高效地设计满足安全需求的正确原语;根据新的可组合元素附加规则,修改消息项结构,添加可组合元素,使原语具备可组合性,降低后续组合设计过程的复杂度;根据新的组合设计规则,从可组合的简单原语出发构建复合协议.进行了应用研究,分别设计出了非对称密钥体制下双向认证协议和对称密钥体制下带有可信第三方的双向认证且密钥建立协议.实践分析结果表明,该策略同时具备自动设计正确高效以及组合设计简便易行的优点,是一种较为可行的、适用于复杂安全协议设计的新策略.
為提高複閤協議設計的效率和降低組閤設計過程的複雜度,構建瞭一種基于原語自動生成的安全協議組閤設計新策略.利用自動生成工具高效地設計滿足安全需求的正確原語;根據新的可組閤元素附加規則,脩改消息項結構,添加可組閤元素,使原語具備可組閤性,降低後續組閤設計過程的複雜度;根據新的組閤設計規則,從可組閤的簡單原語齣髮構建複閤協議.進行瞭應用研究,分彆設計齣瞭非對稱密鑰體製下雙嚮認證協議和對稱密鑰體製下帶有可信第三方的雙嚮認證且密鑰建立協議.實踐分析結果錶明,該策略同時具備自動設計正確高效以及組閤設計簡便易行的優點,是一種較為可行的、適用于複雜安全協議設計的新策略.
위제고복합협의설계적효솔화강저조합설계과정적복잡도,구건료일충기우원어자동생성적안전협의조합설계신책략.이용자동생성공구고효지설계만족안전수구적정학원어;근거신적가조합원소부가규칙,수개소식항결구,첨가가조합원소,사원어구비가조합성,강저후속조합설계과정적복잡도;근거신적조합설계규칙,종가조합적간단원어출발구건복합협의.진행료응용연구,분별설계출료비대칭밀약체제하쌍향인증협의화대칭밀약체제하대유가신제삼방적쌍향인증차밀약건립협의.실천분석결과표명,해책략동시구비자동설계정학고효이급조합설계간편역행적우점,시일충교위가행적、괄용우복잡안전협의설계적신책략.
