%0 Journal Article
%T 一个非否认协议ZG的形式化分析
%A 范红
%A 冯登国
%J 电子学报
%P 171-173
%D 2005
%X 非否认性是电子商务协议的一个重要性质,其形式化分析问题引起了人们的密切关注.本文运用SVO逻辑对一个非否认协议实例进行了有效的形式化分析,并对协议的缺陷进行了改进.
%K 非否认协议
%K 形式化分析
%K SVO逻辑
%U http://www.ejournal.org.cn/CN/abstract/abstract3685.shtml