河南科学
河南科學
하남과학
HENAN SCIENCE
2008年
3期
322-325
,共4页
王惠斌%马明山%常青美%祝跃飞
王惠斌%馬明山%常青美%祝躍飛
왕혜빈%마명산%상청미%축약비
安全协议%形式化设计%协议推导系统%ISO-9798-3协议
安全協議%形式化設計%協議推導繫統%ISO-9798-3協議
안전협의%형식화설계%협의추도계통%ISO-9798-3협의
已有的安全协议往往被证实并不如它们的设计者所期望的那样安全,如何设计才能确保协议的安全性是目前研究的难点之一.通过介绍目前安全协议设计的主要思路和方法,说明了PDS系统的主要内容和方法,推导出了ISO-9798-3协议.
已有的安全協議往往被證實併不如它們的設計者所期望的那樣安全,如何設計纔能確保協議的安全性是目前研究的難點之一.通過介紹目前安全協議設計的主要思路和方法,說明瞭PDS繫統的主要內容和方法,推導齣瞭ISO-9798-3協議.
이유적안전협의왕왕피증실병불여타문적설계자소기망적나양안전,여하설계재능학보협의적안전성시목전연구적난점지일.통과개소목전안전협의설계적주요사로화방법,설명료PDS계통적주요내용화방법,추도출료ISO-9798-3협의.