Kailar逻辑的串空间语义  

A Strand Space Semantics of Kailar Logic

作　　者：缪祥华[1] 何大可[2] 

机构地区：[1]西南交通大学计算机与通信工程学院,成都610031 [2]西南交通大学信息安全与国家计算网格实验室,成都610031

出　　处：《计算机科学》2006年第3期87-88,96,共3页Computer Science

摘　　要：Kailar 在1996年发表了“电子商务协议中的可追究性”一文,使得电子商务协议的形式化分析得到了重大的发展。但是 Kailar 逻辑的语义一直没有人提出来过,而逻辑的语义对于逻辑的正确性是至关重要的。本文的主要工作就是给出了 Kailar 逻辑的串空间语义,从语义的角度证明了 Kailar 逻辑的规则的正确性。In 1996, Kailar presented a paper, namely＂accountability in electronic commerce protocol＂, which quickly became the most widely used and widely discussed formal method for the analysis of electronic commerce protocol. The semantics of logic is very important about soundness of logic, but no one have given a semantics of Kailar logic. In this paper, a strand space semantics of Kailar logic is presented and the correctness of Kailar logic＇s rules are proved.

关 键 词：逻辑 语义 串空间 电子商务协议 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]