计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2004年
35期
17-21,52
,共6页
安全协议%公平性%串空间%形式化描述
安全協議%公平性%串空間%形式化描述
안전협의%공평성%천공간%형식화묘술
探讨了将串空间模型应用于描述安全协议公平性的方法,并提出串空间模型描述公平协议的一些问题.分析了在描述公平协议时,串空间模型需要进行的几个扩展,包括:描述协议步骤在什么情况可以执行的扩展;描述协议执行过程中角色动态分配的扩展;描述协议步骤同步执行的扩展.应用扩展后的串空间模型对KM协议进行了形式化描述.
探討瞭將串空間模型應用于描述安全協議公平性的方法,併提齣串空間模型描述公平協議的一些問題.分析瞭在描述公平協議時,串空間模型需要進行的幾箇擴展,包括:描述協議步驟在什麽情況可以執行的擴展;描述協議執行過程中角色動態分配的擴展;描述協議步驟同步執行的擴展.應用擴展後的串空間模型對KM協議進行瞭形式化描述.
탐토료장천공간모형응용우묘술안전협의공평성적방법,병제출천공간모형묘술공평협의적일사문제.분석료재묘술공평협의시,천공간모형수요진행적궤개확전,포괄:묘술협의보취재십요정황가이집행적확전;묘술협의집행과정중각색동태분배적확전;묘술협의보취동보집행적확전.응용확전후적천공간모형대KM협의진행료형식화묘술.