小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2007年
1期
54-57
,共4页
逻辑程序%安全协议%不可否认性
邏輯程序%安全協議%不可否認性
라집정서%안전협의%불가부인성
提出一种多agent逻辑程序,每个agent具有一个相信算子,讨论了其不动点语义和操作语义,证明了两种语义之间的等价性.提出了一种基于多agent逻辑程序的协议验证方法,以一种多方非否认安全协议为例,对该协议进行了形式化描述,验证了其具有不可否认性.
提齣一種多agent邏輯程序,每箇agent具有一箇相信算子,討論瞭其不動點語義和操作語義,證明瞭兩種語義之間的等價性.提齣瞭一種基于多agent邏輯程序的協議驗證方法,以一種多方非否認安全協議為例,對該協議進行瞭形式化描述,驗證瞭其具有不可否認性.
제출일충다agent라집정서,매개agent구유일개상신산자,토론료기불동점어의화조작어의,증명료량충어의지간적등개성.제출료일충기우다agent라집정서적협의험증방법,이일충다방비부인안전협의위례,대해협의진행료형식화묘술,험증료기구유불가부인성.