计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2010年
20期
4375-4377,4392
,共4页
安全协议%设计%组件%逻辑分析%组合
安全協議%設計%組件%邏輯分析%組閤
안전협의%설계%조건%라집분석%조합
针对目前安全协议设计存在的方法抽象、适用范围小及复杂的特点,提出一种新的安全协议设计方法.给出了协议中基件与组件的定义,分析了组件的安全属性并基于组件设计实现相应安全目标的单步协议.最后,定义组合规则确保不同的单步协议能够组合成为一个复合协议的同时各个单步协议还能实现各自的安全目标.根据应用背景选择单步协议按组合规则组合后便可得所需的安全协议.研究结果表明,该方法可将一个复杂协议分解为若干简单的单步协议,使得协议的设计与分析都易于实现.
針對目前安全協議設計存在的方法抽象、適用範圍小及複雜的特點,提齣一種新的安全協議設計方法.給齣瞭協議中基件與組件的定義,分析瞭組件的安全屬性併基于組件設計實現相應安全目標的單步協議.最後,定義組閤規則確保不同的單步協議能夠組閤成為一箇複閤協議的同時各箇單步協議還能實現各自的安全目標.根據應用揹景選擇單步協議按組閤規則組閤後便可得所需的安全協議.研究結果錶明,該方法可將一箇複雜協議分解為若榦簡單的單步協議,使得協議的設計與分析都易于實現.
침대목전안전협의설계존재적방법추상、괄용범위소급복잡적특점,제출일충신적안전협의설계방법.급출료협의중기건여조건적정의,분석료조건적안전속성병기우조건설계실현상응안전목표적단보협의.최후,정의조합규칙학보불동적단보협의능구조합성위일개복합협의적동시각개단보협의환능실현각자적안전목표.근거응용배경선택단보협의안조합규칙조합후편가득소수적안전협의.연구결과표명,해방법가장일개복잡협의분해위약간간단적단보협의,사득협의적설계여분석도역우실현.