摘要
非否认性是电子商务协议的一个重要性质 ,其形式化分析问题引起了人们的密切关注 .本文运用SVO逻辑对一个非否认协议实例进行了有效的形式化分析 ,并对协议的缺陷进行了改进 .
Non-repudiation is a key property of electronic commerce protocols, and its formal analysis has draw people's attention. This paper analyzes a non-repudiation protocol using formal methods, and modifies some flaws of the protocol.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2005年第1期171-173,共3页
Acta Electronica Sinica
基金
973资助项目 (No .G1 9990 3580 2 )
国家杰出青年科学基金 (No .60 0 2 52 0 5)
