1.绪论
最近几年来，随着计算机与网络技术的飞速发展和广泛应用，使得信息的流通与存取变得更为快速与便捷。例如:XX积极推进电子政务、企业公司间电子商务(Electronic commerce)、个人在线购物(on-line Shopping)、信息家电(Information Appliance)、电子商务等，这些都是计算机与网络技术的重大应用的结果。因此可以说，在过去的十几年里，计算机与计算机网络技术带给人类社会的重大影响，不亚于工业革命，意义重大而深远。
自从X前总统克林顿发表了“电子商务白皮书”之后，各国都加快步伐来构建电子商务系统，以迎接全球信息化、网络商业化的到来。冲绳八国集团发表的全球信息化宣言其核心的内容就是电子商务(Electronic commerce)，据IDC公布的数据，全球电子商务的规模2003年已突破1万亿美元，2004年已超过7.3万亿美元.“上网的企业不一定能成功，但不上网的企业将会被淘汰出局”这已经成为大多数人的共识。世界上许多大的公司都将电子商务列为主要的发展方向。IBM公司25%的收入来自于电子商务；CISCO公司85%的交易在线完成，电子商务使其销售额增加了500%，而人员仅增加了100%，交货期也由原来的3周变为3天。电子商务在增加卖方的销售机会的同时，也同样增加了买方购买的机会，例如企业采购时利用电子商务可以找到新的供应商和贸易伙伴。另外在电子商务中，讨价和还价的传递也十分快捷。总的看来，X的电子商务的启动期为1991-1995,1996-1999为其高速增长期，从2000年开始进入稳定的成长期。我国XX也积极推动电子商务发展，1997年10月，标志着中国XX在电子商务领域实质性突破，1996-1999年为启动期，从1999年开始进入高速增长期，而后随着网络经济的“泡沫”现象，全球的电子商务活动暂时陷入了“寒冬”，现已恢复进入了健康的发展阶段。
1.1课题背景
密码协议是以密码学为基础的消息交换协议，其目的是在网络环境中提供各种安全服务[1]。安全目标是多种多样的。例如，认证协议的目标是认证参加协议的主体的身份。此外，许多认证协议还有一个附加的目标，即在主体之间安全地分配密钥或其他各种秘密。密码协议的主要目的是利用密码技术实现密钥交换、身份认证和安全支付，在安全领域中协议同密码算法同样重要。若密码算法十分先进，但密码协议的设计有缺陷，该密码体系仍存在严重的安全隐患。当前关于安全问题的研究热点之一是涉及密钥分布、身份验证、数字签名和公证的密码协议的建模与形式化分析[1]。
……
2.电子商务协议
2.1密码协议
密码协议基本概念
密码协议是密码参与者采取的一系列步骤，它包括两方或多方密码参与者，设计它的目的是要完成一项任务。“一系列步骤”意味着协议是从开始到结束的一个序列，每一步必须按严格的规定依次执行，在前一步完成前，后面的步骤都不能执行；“包括两方或多方”意味着完成这个协议至少需要两个人，单独的一个人不能构成协议，当然单独的一个人也可采取一系列步骤去完成一个任务，但这不是协议（另外一些人必须完成某件事才构成协议）；最后，“设计它的目的是要完成一项任务”意味着协议必须做一些事。有些东西看起来像协议，但不完成一个任务，那也不是一个完整的协议，只是浪费时间而已[2]。
……
为了分析方便和书写统一，我们对本书中用到的关于协议形式分析中的符号说明如表2-1所示：
2.1.3电子商务协议介绍
……
本文只考虑协议的非否认性和公平性，假定协议是安全的，并不引入第三方攻击者模型，因而参与协议的主体集合为：{付款人A，收款人B、货币服务方CS}。其中货币服务方CS是诚实公正的，将严格执行协议运行，而A和B则不一定诚实有可能为了自己的利益中断协议执行。协议中三个参与主体在SMV系统中都对应一个FSM,这三个FSM在同一MODULE之内，每个主体都是这个MODULE的一个实例(Instance),这三个实例分别为Payer，Payee和CoinService。在协议运行的时候，每个主体选择各自相应的自动机运行，其状态转移图分别示于图2-1、图2-2和图2-3（其中，！表示发送消息；？表示接收消息）。
……
7结束语
形式化描述方法是连接协议工程各个阶段的纽带，是协议工程中的核心问题。电子商务协议是实现电子商务的重要技术基础，而安全性、公平性和可追究性又是电子商务协议安全中最重要的性质。基于逻辑的形式分析方法已成为目前电子商务协议研究的主要热点，也是设计电子商务协议中值得研究的重要课题。……
本章将对全文的研究工作及创新点进行总结，并且提出一些需要进一步深入研究的问题。
7.1主要研究工作
……
7.2下一步工作
……
参考文献
[1]昂温G，昂温P S．外国出版史[M]．陈生铮，译．北京：中国书籍出版社，1988．
[2]马克思．关于《工资、价格和利润》的报告札记[M]//马克思，恩格斯．马克思恩格斯全集：第44卷．北京：人民出版社，1982：505．
[3]中国地质学会．地质论评[J]．1936，1（1）－．北京：地质出版社，1936－．
[4]李炳穆．理想的图书馆员和信息专家的素质与形象[J]．图书情报工作，2000(2)：5-8．
[5]姜锡洲．一种温热外敷药制备方案：中国，88105607.3[P]．1989-07-26．
[6]METCALF S W.The Tort Hall air emission study[C/OL]//The International Congress on Hazardous Waste,Atlantic Marriott Marquis Hotel,Atlanta,Georgia,June 5-8,1995:Impact on human and ecological health[1998-09-22].http://atsdrl.astdr.cdc.gov:8080/Cong95.html.
致谢
感谢我的导师XXX教授，他自学严谨、一丝不苟的作风一直是我以后工作、学习中的榜样；他循循善诱的教导和不拘一格的思路给予我无尽的启迪。
感谢我的白老师，这片论文的每个实验细节和每个数据，都离不开你的细心指导。而你开朗的个性和宽容的态度，帮助我能够很快的融入我们这个新的实验室。感谢我的室友们，从遥远的家来到这个陌生的城市里，是你们和我共同维系着彼此之间兄弟般的感情，维系着寝室那份家的融洽。
四年了，仿佛就在昨天。四年里，我们没有红过脸，没有吵过嘴，没有发生上大学前所担心的任何不开心的事情。只是今后大家就难得再聚在一起吃每年元旦那顿饭了吧，没关系，各奔前程，大家珍重。但愿远赴米国的C平平安安，留守复旦快快乐乐，挥师北上的顺顺利利，也愿离开我们寝室的开开心心。我们在一起的日子，我会记一辈子的。感谢我的爸爸妈妈，焉得谖草，言树之背，养育之恩，无以回报，你们永远健康快乐是我最大的心愿。
在论文即将完成之际，我的心情无法平静，从开始进入课题到论文的顺利完成，有多少可敬的师长、同学、朋友给了我无言的帮助，在这里请接受我诚挚的谢意！
下载提示：
1、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“文章版权申述”（推荐），也可以打举报电话：18735597641(电话支持时间：9:00-18:30)。
2、网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友投稿，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务。
原创文章，作者：写文章小能手，如若转载，请注明出处：https://www.447766.cn/chachong/11771.html,
