%0 Journal Article
%T Non-repudiation protocols model based on first-order logic<br>基于一阶逻辑的非否认协议模型
%A FAN Yu-dan
%A HAN Ji-hong
%A WANG Ya-di
%A ZHAO Yu
%A ZHU Yu-na
%A <br>范钰丹 韩继红 王亚弟 赵
%A 宇 朱玉娜
%J 计算机应用
%D 2007
%I 
%X In order to analyze the non-repudiation and fairness properties under one frame, a set of first-order logic syntax and semantics for non-repudiation protocols was proposed, and a model was built. The Zhou-Gollmann fair non-repudiation protocol was analyzed with the model and a known attack to the protocol was found. The results show that our model is valid and correct.
%K non-repudiation
%K fairness
%K first-order logic
%K formal analysis<br>非否认性
%K 公平性
%K 一阶逻辑
%K 形式化分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=B766279FDFB8E8F0028064E837DC58EE&yid=A732AF04DDA03BB3&vid=DB817633AA4F79B9&iid=9CF7A0430CBB2DFD&sid=4B5EFEE8F5D7C671&eid=4AFA67525584BD90&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=17