电子支付协议安全性的形式化分析

The Formal Verification of the Security of the Electronic Commerce Protocols

本文用Kailar逻辑对Bolignano电子协议的安全性作了较为详细的分析 ,进而对Kailar逻辑也作了一些讨论。

This paper analyzes the security of the Bolignano electronic commerce protocol using the logic method,and discusses the advantages and disadvantages of the Kailar logic.