发布时间 : 星期四 文章贵州财经大学本科毕业论文参考格式（2015版）解析更新完毕开始阅读15eec331842458fb770bf78a6529647d272834e8
目录
摘要................................................................................................................................................... I Abstract ............................................................................................................................................ II 1.绪论................................................................................................................................................ 1 1.1课题背景 ..................................................................................................................................... 1 2.电子商务协议 ................................................................................................................................ 2 2.1密码协议 ..................................................................................................................................... 2 7 结束语 ........................................................................................................................................... 3 7.1 主要研究工作 ............................................................................................................................ 3 7.2 下一步工作 ................................................................................................................................ 3 参考文献 ........................................................................................................................................... 4 致 谢............................................................................................................................................... 5 附录1:参考文献基本格式 ............................................................................................................... 1 附录2:论文目录和页码的设置方法 ............................................................................................... 5
i
一级标题 四号 宋体 加粗 1.绪论 最近几年来，随着计算机与网络技术的飞速发展和广泛应用，使得信息的流通与存取变得更为快速与便捷。例如:政府积极推进电子政务、企业公司间电子商务(Electronic commerce)、个人在线购物(on-line Shopping)、信息家电(Information Appliance)、电子商务等，这些都是计算机与网络技术的重大应用的结果。因此可以说，在过去的十几年里，计算机与计算机网络技术带给人类社会的重大影响，不亚于工业革命，意义重大而深远。
正文部分宋体 五号自从美国前总统克林顿发表了“电子商务白皮书”之后，各国都加快步伐来构建电字 1.5倍行距，段子商务系统，以迎接全球信息化、网络商业化的到来。冲绳八国集团发表的全球信息化首缩进两个字符 宣言其核心的内容就是电子商务(Electronic commerce)，据IDC公布的数据，全球电子商务的规模2003年已突破1万亿美元，2004年已超过7.3万亿美元.“上网的企业不一定能成功，但不上网的企业将会被淘汰出局”这已经成为大多数人的共识。世界上许多大的公司都将电子商务列为主要的发展方向。IBM公司25%的收入来自于电子商务；CISCO公司85%的交易在线完成，电子商务使其销售额增加了500%，而人员仅增加了100%，交货期也由原来的3周变为3天。电子商务在增加卖方的销售机会的同时，也同样增加了买方购买的机会，例如企业采购时利用电子商务可以找到新的供应商和贸易伙伴。另外在电子商务中，讨价和还价的传递也十分快捷。总的看来，美国的电子商务的启动期为1991-1995, 1996-1999为其高速增长期，从2000年开始进入稳定的成长期。我国政府也积极推动电子商务发展，1997年10月，标志着中国政府在电子商务领域实质性突破，1996-1999年为启动期，从1999年开始进入高速增长期，而后随着网络经济的“泡沫”二级标题 宋体 现象，全球的电子商务活动暂时陷入了“寒冬”，现已恢复进入了健康的发展阶段。
五号 加粗 1.1课题背景
密码协议是以密码学为基础的消息交换协议，其目的是在网络环境中提供各种安全服务。安全目标是多种多样的。例如，认证协议的目标是认证参加协议的主体的身份。此外，许多认证协议还有一个附加的目标，即在主体之间安全地分配密钥或其他各种秘密。密码协议的主要目的是利用密码技术实现密钥交换、身份认证和安全支付，在安全领域中协议同密码算法同样重要。若密码算法十分先进，但密码协议的设计有缺陷，该密码体系仍存在严重的安全隐患。当前关于安全问题的研究热点之一是涉及密钥分布、身份验证、数字签名和公证的密码协议的建模与形式化分析。 ……
[1]
[1]
1
2.电子商务协议
2.1密码协议
密码协议基本概念
密码协议是密码参与者采取的一系列步骤，它包括两方或多方密码参与者，设计它的目的是要完成一项任务。“一系列步骤”意味着协议是从开始到结束的一个序列，每一步必须按严格的规定依次执行，在前一步完成前，后面的步骤都不能执行 ；“包括两方或多方”意味着完成这个协议至少需要两个人，单独的一个人不能构成协议，当然单独的一个人也可采取一系列步骤去完成一个任务，但这不是协议（另外一些人必须完成某件事才构成协议）；最后，“设计它的目的是要完成一项任务”意味着协议必须做一些事。有些东西看起来像协议，但不完成一个任务，那也不是一个完整的协议，只是浪费时间而已[2]。
……
为了分析方便和书写统一，我们对本书中用到的关于协议形式分析中的符号说明如表2-1所示： 表2-1 协议形式分析中的符号说明 A B S A?B: m m,n Ks {m}k [m]k ?
System principal A ( Alice ) System principal B (Bob) Trusted Server 表名称位于表格上方 宋体，五号 居中 A sending a message m to B m可放箭头上 Concatenation of message m and n 可用逗点代逗号 Public key of the Trusted Server Encrypt m using key k Decrypt m using key k Bit-wise exclusive-or operation (XOR) 2.1.3 电子商务协议介绍 ……
三级标题 宋体 五号 本文只考虑协议的非否认性和公平性，假定协议是安全的，并不引入第三方攻击者模型，因而参与协议的主体集合为：{付款人A，收款人B、货币服务方CS }。其中货币服务方CS是诚实公正的，将严格执行协议运行，而A和B则不一定诚实有可能为了自己的利益中断协议执行。协议中三个参与主体在SMV系统中都对应一个FSM, 这三个FSM在同一MODULE之
2
内，每个主体都是这个MODULE的一个实例(Instance),这三个实例分别为Payer，Payee和CoinService。在协议运行的时候，每个主体选择各自相应的自动机运行，其状态转移图分别示于图2-1、图2-2和图2-3（其中，！表示发送消息；？表示接收消息）。
图2-1 付款人A的状态转换图 ……
图名称位于图示下方 宋体，五号，居中 7 结束语
形式化描述方法是连接协议工程各个阶段的纽带，是协议工程中的核心问题。电子商务协议是实现电子商务的重要技术基础，而安全性、公平性和可追究性又是电子商务协议安全中最重要的性质。基于逻辑的形式分析方法已成为目前电子商务协议研究的主要热点，也是设计电子商务协议中值得研究的重要课题。……
本章将对全文的研究工作及创新点进行总结，并且提出一些需要进一步深入研究的问题。
7.1 主要研究工作 ……
7.2 下一步工作 ……
3