计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2006年
11期
21-23,156
,共4页
安全协议%定理证明%冗余协议%约简
安全協議%定理證明%冗餘協議%約簡
안전협의%정리증명%용여협의%약간
文章以协议分析器为辅助工具,结合定理证明方法,给出了一个安全协议形式化设计方法.该方法首先根据协议规范构造全信息项及冗余协议,使用定理证明保证冗余协议的安全性.对冗余协议利用安全性保持约简规则和随机约简规则进行约简,从而得到最优约简协议.该方法实现了安全协议的自动设计,具有良好的扩展性,可以根据需求和协议的发展增加设计规则和约简规则.
文章以協議分析器為輔助工具,結閤定理證明方法,給齣瞭一箇安全協議形式化設計方法.該方法首先根據協議規範構造全信息項及冗餘協議,使用定理證明保證冗餘協議的安全性.對冗餘協議利用安全性保持約簡規則和隨機約簡規則進行約簡,從而得到最優約簡協議.該方法實現瞭安全協議的自動設計,具有良好的擴展性,可以根據需求和協議的髮展增加設計規則和約簡規則.
문장이협의분석기위보조공구,결합정리증명방법,급출료일개안전협의형식화설계방법.해방법수선근거협의규범구조전신식항급용여협의,사용정리증명보증용여협의적안전성.대용여협의이용안전성보지약간규칙화수궤약간규칙진행약간,종이득도최우약간협의.해방법실현료안전협의적자동설계,구유량호적확전성,가이근거수구화협의적발전증가설계규칙화약간규칙.
