%0 Journal Article
%T Limitations of Kailar Logic<br>Kailar逻辑的缺陷
%A ZHOU Dian-cui
%A QING Si-han
%A ZHOU Zhan-fei
%A <br>周典萃
%A 卿斯汉
%A 周展飞
%J 软件学报
%D 1999
%I 
%X There is a growing interest in the design and development of electronic commerce protocols. Accountability is the ability to hold individuals or organizations accountable for transactions. Without such assurances, electronic transactions can be susceptible to disputes. Rajashekar Kailar has proposed a framework for the analysis of communication protocols which require accountability. The authors call this framework Kailar logic. In this paper, the authors find this framework has three limitations. Firstly, the framework cannot analyze fairness of protocols. Secondly, articulating initial state assumptions is an informal and error-prone step. At last, the messages with encrypted contents in the protocol cannot be interpreted.
%K Accountability
%K electronic commerce
%K protocol
%K protocol analysis<br>可追究性
%K 电子商务
%K 协议
%K 协议分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=2E2874733AFF54EC&yid=B914830F5B1D1078&vid=F3090AE9B60B7ED1&iid=59906B3B2830C2C5&sid=5C10CB62DEB8898B&eid=076A4355FDA11BCF&journal_id=1000-9825&journal_name=软件学报&referenced_num=29&reference_num=6