一个非否认协议ZG的形式化分析

作者：范红; 冯登国

来源：电子学报, 2005, (01): 171-173.

• 非否认协议
• 形式化分析
• SVO逻辑 non-repudiation protocol
• formal analysis
• SVO logic

非否认性是电子商务协议的一个重要性质 ,其形式化分析问题引起了人们的密切关注 .本文运用SVO逻辑对一个非否认协议实例进行了有效的形式化分析 ,并对协议的缺陷进行了改进 .