%0 Journal Article
%T 基于一阶逻辑的非否认协议模型
%A 范钰丹
%A 韩继红
%A 王亚弟
%A 赵宇
%A 朱玉娜
%J 计算机应用
%D 2007
%X ？为了将密码协议的非否认性和公平性统一在一个框架之下更好地进行分析，提出了一套适用于分析非否认性和公平性的一阶逻辑语法和语义。在此基础上建立了一个用于分析非否认性和公平性的一阶逻辑模型，并以fairzg非否认协议为例进行了分析，发现了该协议的一个已知攻击，证明了模型的有效性和正确性。
%K 非否认性
%K 公平性
%K 一阶逻辑
%K 形式化分析
%U http://www.joca.cn/CN/abstract/abstract9140.shtml