%0 Journal Article
%T A Strand Space Semantics of Kailar Logic<br>Kailar逻辑的串空间语义
%A MIAO Xiang-Hua
%A HE Da-Ke
%A <br>缪祥华
%A 何大可
%J 计算机科学
%D 2006
%I 
%X Kailar在1996年发表了“电子商务协议中的可追究性”一文，使得电子商务协议的形式化分析得到了重大的发展.但是Kailar逻辑的语义一直没有人提出来过，而逻辑的语义对于逻辑的正确性是至关重要的.本文的主要工作就是给出了Kailar逻辑的串空间语义，从语义的角度证明了Kailar逻辑的规则的正确性。
%K Logic
%K Semantics
%K Strand space
%K Electronic commerce protocol<br>逻辑
%K 语义
%K 串空间
%K 电子商务协议
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=088D991C142D23DD&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=38B194292C032A66&sid=117F81797AB182FC&eid=7E8E8B150580E4AB&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=8