• 电子商务协议的形式化分析与漏洞检测

    电子商务协议的形式化分析与漏洞检测

    论文摘要电子商务安全协议,为电子商务活动提供一系列的安全保护工作,是整个系统安全体系的核心。电子商务安全协议除需要提供保密性、认证性等一般安全性质外,通常还需要满足原子性、匿名...