计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
18期
122-126
,共5页
安全协议%组件%逻辑分析%组合
安全協議%組件%邏輯分析%組閤
안전협의%조건%라집분석%조합
提出运用组合方法进行安全协议设计.给出了协议中基件与组件的定义,根据组件的安全属性设计实现相应安全目标的单步协议;定义组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实现各自的安全目标.根据具体的应用背景选择合适的单步协议,按照组合规则组合后可得到满足需求的安全协议.该组合方法可将一个复合协议分解为若干基于组件的简单单步协议,使得协议的设计与分析易于实现.
提齣運用組閤方法進行安全協議設計.給齣瞭協議中基件與組件的定義,根據組件的安全屬性設計實現相應安全目標的單步協議;定義組閤規則,確保不同的單步協議能夠組閤成為一箇複閤協議,同時各箇單步協議還能實現各自的安全目標.根據具體的應用揹景選擇閤適的單步協議,按照組閤規則組閤後可得到滿足需求的安全協議.該組閤方法可將一箇複閤協議分解為若榦基于組件的簡單單步協議,使得協議的設計與分析易于實現.
제출운용조합방법진행안전협의설계.급출료협의중기건여조건적정의,근거조건적안전속성설계실현상응안전목표적단보협의;정의조합규칙,학보불동적단보협의능구조합성위일개복합협의,동시각개단보협의환능실현각자적안전목표.근거구체적응용배경선택합괄적단보협의,안조조합규칙조합후가득도만족수구적안전협의.해조합방법가장일개복합협의분해위약간기우조건적간단단보협의,사득협의적설계여분석역우실현.
