论文部分内容阅读
电子商务是当前各国研究发展的热点，它以电子商务协议为构成框架，而电子商务协议的安全性是决定电子商务发展的关键因素。研究电子商务协议及其安全性，对于我们设计安全的电子商务协议和促进电子商务的发展很有帮助。 在本文中，作者主要介绍了用于分析密码协议的三种逻辑语言，研究了它们的优缺点，然后结合其优点，提出了一种新的用于分析电子商务协议的形式化逻辑语言。该语言逻辑性强、应用简易。作者还简单介绍了著名的电子商务协议—安全电子交易(SET)协议，并对其进行逻辑抽象，最后着重用提出的新逻辑对抽象化后的SET协议进行了完全的分析与验证。