计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2007年
12期
2928-2930,2933
,共4页
协议设计%认证属性%迹模型%通道模型
協議設計%認證屬性%跡模型%通道模型
협의설계%인증속성%적모형%통도모형
提出了一种安全协议的认证属性设计方法.该方法设计了协议认证消息结构,通过通道模型增加设计过程中消息结构的动态安全特性,采用迹模型准确描述消息交互过程.讨论了避免攻击的安全属性设计原则,并通过形式化的方法表示出来.最后证明了该形式化方法的有效性.
提齣瞭一種安全協議的認證屬性設計方法.該方法設計瞭協議認證消息結構,通過通道模型增加設計過程中消息結構的動態安全特性,採用跡模型準確描述消息交互過程.討論瞭避免攻擊的安全屬性設計原則,併通過形式化的方法錶示齣來.最後證明瞭該形式化方法的有效性.
제출료일충안전협의적인증속성설계방법.해방법설계료협의인증소식결구,통과통도모형증가설계과정중소식결구적동태안전특성,채용적모형준학묘술소식교호과정.토론료피면공격적안전속성설계원칙,병통과형식화적방법표시출래.최후증명료해형식화방법적유효성.
