电子商务协议的逻辑阐明与研究.pdf

摘要 题目：电子商务协议的逻辑分析与研究 学科名称：应用数学 指导 (教授) 作者 答辩日期： 点魍点：蔓j抑 摘要 电子商务是当前各国研究发展的热点，它以电子商务协议为构成框架，而电子 商务协议的安全性是决定电子商务发展的关键因素。研究电子商务协议及其安全性， 对于我们设计安全的电子商务协议和促进电子商务的发展很有帮助。 在本文中，作者主要介绍了用于分析密码协议的三种逻辑语言，研究了它们的 优缺点，然后结合其优点，提出了一种新的用于分析电子商务协议的形式化逻辑语 言。该语言逻辑性强、应用简易。作者还简单介绍了著名的电子商务协议一安全电 子交易(SET)协议，并对其进行逻辑抽象，最后着重用提出的新逻辑对抽象化后的 SET协议进行了完全的分析与验证。 关键词：电子商务协议密码协议形式化逻辑语言SET协议可追究性 摘要 Title：THELOGIC ANALlySIS AND RESEARCH OF COMMERCEPROTOCOL Subject：Applied M。athmatics Tut。H)照i臻惫k勉炽：((P，。fe。。。。) U U Authori 战照觚孔 Date： M姒独。2煦曼 Abstract commerceiStheheat oftheresearchand Currently,electronic point ineach commerce country．Electronic iSthe development protocolcomprising frameworkofelectronic commerce．andits iSthe factortodecide securitykey the ofelectroniccommerce．The inelectronic development research commerce andtheir iS for protocols safeelectronic securityhelpfuldesigning commerceand the ofelectroniccommerce． protocols promotingdevelopment Inthis kindsof usedin paper,threelogiclanguages analyzing are studiedintheir cryptographicprotocols introduced，and