%0 Journal Article
%T Analysis of Fairness of the Z&G Protocol<br>Z＆G协议公平性的形式化验证
%A GONG De-liang
%A YIN Jian-ping
%A ZHAN Yu-bin
%A <br>龚德良
%A 殷建平
%A 詹宇斌
%J 计算机科学
%D 2008
%I 
%X A non-repudiation protocol designed by Zhou and Gollmann is a typical electronic commerce protocol,which provides participants with fairness service.To verify the protocol this article models the electronic commerce system as the state transition system,specifies the protocol with state-based formalism,and formalizes fairness property in linear temporary logic.Protocol executions in the system are classified into three modes:compliance,deception and abortion,which have been analyzed and proved to satisfy fa...
%K Fairness
%K Transition system
%K Compliance
%K Abortion
%K Deception<br>公平性
%K 状态转换系统
%K 遵守型
%K 欺骗型
%K 中断型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=EE4836A7874FC98DD5F64F054AB4F749&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=9CF7A0430CBB2DFD&sid=228A710F49B6CE58&eid=0D0D661F0B316AD5&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=12