电子商务协的逻辑分析与研究.pdfVIP

摘要 题目：电子商务协议的逻辑分析与研究 学科名称：应用数学 指导 (教授) 作者 答辩日期： 点魍点：蔓j抑 摘要 电子商务是当前各国研究发展的热点，它以电子商务协议为构成框架，而电子 商务协议的安全性是决定电子商务发展的关键因素。研究电子商务协议及其安全性， 对于我们设计安全的电子商务协议和促进电子商务的发展很有帮助。 在本文中，作者主要介绍了用于分析密码协议的三种逻辑语言，研究了它们的 优缺点，然后结合其优点，提出了一种新的用于分析电子商务协议的形式化逻辑语 言。该语言逻辑性强、应用简易。作者还简单介绍了著名的电子商务协议一安全电 子交易(SET)协议，并对其进行逻辑抽象，最后着重用提出的新逻辑对抽象化后的 SET协议进行了完全的分析与验证。 关键词：电子商务协议密码协议形式化逻辑语言SET协议可追究性 摘要 Title：THELOGIC ANALlySIS A