《我国储蓄函数的多元线性回归分析我国储蓄函数的多元线》由会员分享，可在线阅读，更多相关《我国储蓄函数的多元线性回归分析我国储蓄函数的多元线（15页珍藏版）》请在金锄头文库上搜索。
1、贵州财经大学2015届本科毕业论文（设计） 本 科 毕 业 论 文 （设 计）我国储蓄函数的多元线性回归小3号宋体，加下划线分析我国储蓄函数的多元线A Multivariate Linear Regression 小3号Times New Roman，加下划线Analysis of Chinas Savings Function作 者孙彦龙 13908510851专 业商务1126财务管理指导教师张目 副教授系 部金融系二一五年五月5 诚信声明本人郑重声明：本人所呈交的毕业论文，是在导师 指导下独立研究取得的成果。毕业论文中凡引用他人已经发表的成果、数据、观点等，均已明确注明出处。除文中已注明
2、引用的内容外，不包含任何其他个人或集体已发表的论文。若有抄袭，愿承担一切后果。特此声明作者签名： 签字日期：贵州财经大学商务学院本科毕业论文授权使用声明作为本科生毕业的条件之一,毕业论文著作权拥有者授权贵州财经大学商务学院拥有毕业论文的部分使用权,即:学校有权按有关规定向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅,可以将毕业论文编入有关数据库进行检索,可以釆用影印、缩印或扫描等复制手段保存、汇编毕业论文。本人提交的电子文档的内容和纸质论文的内容相一致。保密的毕业论文在解密后也遵守此规定。公开 保密( 年)作 者 签 名： 签字日期：指导教师签名： 签字日期：四号、黑体、加
3、粗、居中摘要本文主要对逻辑方法与模型检测技术及其在电子商务协议并形式化分析中的应用进行了系统研究。总的来说，从理论到实践两个层面上研究了电子商务协议的形式化分析的相关技术，其工作主要有以下几个方面:1.对电子商务协议的基本理论和基本性质进行了分析和讨论，包括：安全性、保密性、完整性、可认证性、非否认性、公平性、时效性等，并对其中一些重要性质做新的定义，提出电子商务协议设计的基本准则。五号、宋体、1.5倍行间距2.对当前流行的电子商务协议形式化分析方法进行重点研究，包括BAN逻辑、Kailar逻辑及周卿方法。采用这些较新的形式化分析方法对几个典型协议进行分析，找出设计缺陷并提出新的公平非否认性协
4、议。五号、宋体、用逗号分隔关键词：电子商务协议，形式化分析，逻辑方法，模型检测，博弈逻辑四号、黑体、加粗四号，TimesNewRoman加粗、居中AbstractThe dissertation mainly studies the applications of logic and model checking methods in formal analysis of E-commerce protocols. In general, the author studies the related formal analysis technology of E-commerce protoc
5、ols from two aspects, theory and applications. The main works and results are as follows:1.Analyzes and discusses the basic theories and characters of E-commerce protocols, includes: security, secrecy, integrity, authentication, non-repudiation, fairness, timeliness and etc. redefine some key signif
6、icant characters, and bring forward some new rules of E-commerce protocols design.2.Studies the current formal analysis methods for E-commerce protocols: BAN logic、Kailar logic and Zhou-Qing approach. Use the above methods to analyzing some important protocols, find out its limitations and bring for
7、ward a new fair non-repudiation protocol.五号，TimesNewRoman，用逗号分隔开五号，TimesNewRoman加粗Keywords：E-commerce Protocols, formal analysis, logic method, Symbolic Model Checking, game logic目录 摘要IAbstractII1.绪论11.1课题背景12.电子商务协议22.1密码协议27 结束语37.1 主要研究工作37.2 下一步工作3参考文献4致 谢5附录1:参考文献基本格式1附录2:论文目录和页码的设置方法4 一级标题 四号
8、宋体 加粗1.绪论 正文部分宋体 五号字 1.5倍行距，段首缩进两个字符最近几年来，随着计算机与网络技术的飞速发展和广泛应用，使得信息的流通与存取变得更为快速与便捷。例如:政府积极推进电子政务、企业公司间电子商务(Electronic commerce)、个人在线购物(on-line Shopping)、信息家电(Information Appliance)、电子商务等，这些都是计算机与网络技术的重大应用的结果。因此可以说，在过去的十几年里，计算机与计算机网络技术带给人类社会的重大影响，不亚于工业革命，意义重大而深远。二级标题 宋体 五号 加粗自从美国前总统克林顿发表了“电子商务白皮书”之后，
9、各国都加快步伐来构建电子商务系统，以迎接全球信息化、网络商业化的到来。冲绳八国集团发表的全球信息化宣言其核心的内容就是电子商务(Electronic commerce)，据IDC公布的数据，全球电子商务的规模2003年已突破1万亿美元，2004年已超过7.3万亿美元.“上网的企业不一定能成功，但不上网的企业将会被淘汰出局”这已经成为大多数人的共识。世界上许多大的公司都将电子商务列为主要的发展方向。IBM公司25%的收入来自于电子商务；CISCO公司85%的交易在线完成，电子商务使其销售额增加了500%，而人员仅增加了100%，交货期也由原来的3周变为3天。电子商务在增加卖方的销售机会的同时，也
10、同样增加了买方购买的机会，例如企业采购时利用电子商务可以找到新的供应商和贸易伙伴。另外在电子商务中，讨价和还价的传递也十分快捷。总的看来，美国的电子商务的启动期为1991-1995, 1996-1999为其高速增长期，从2000年开始进入稳定的成长期。我国政府也积极推动电子商务发展，1997年10月，标志着中国政府在电子商务领域实质性突破，1996-1999年为启动期，从1999年开始进入高速增长期，而后随着网络经济的“泡沫”现象，全球的电子商务活动暂时陷入了“寒冬”，现已恢复进入了健康的发展阶段。1.1课题背景密码协议是以密码学为基础的消息交换协议，其目的是在网络环境中提供各种安全服务1。安
11、全目标是多种多样的。例如，认证协议的目标是认证参加协议的主体的身份。此外，许多认证协议还有一个附加的目标，即在主体之间安全地分配密钥或其他各种秘密。密码协议的主要目的是利用密码技术实现密钥交换、身份认证和安全支付，在安全领域中协议同密码算法同样重要。若密码算法十分先进，但密码协议的设计有缺陷，该密码体系仍存在严重的安全隐患。当前关于安全问题的研究热点之一是涉及密钥分布、身份验证、数字签名和公证的密码协议的建模与形式化分析1。 2.电子商务协议2.1密码协议密码协议基本概念密码协议是密码参与者采取的一系列步骤，它包括两方或多方密码参与者，设计它的目的是要完成一项任务。“一系列步骤”意味着协议是从
12、开始到结束的一个序列，每一步必须按严格的规定依次执行，在前一步完成前，后面的步骤都不能执行 ；“包括两方或多方”意味着完成这个协议至少需要两个人，单独的一个人不能构成协议，当然单独的一个人也可采取一系列步骤去完成一个任务，但这不是协议（另外一些人必须完成某件事才构成协议）；最后，“设计它的目的是要完成一项任务”意味着协议必须做一些事。有些东西看起来像协议，但不完成一个任务，那也不是一个完整的协议，只是浪费时间而已2。为了分析方便和书写统一，我们对本书中用到的关于协议形式分析中的符号说明如表2-1所示：表名称位于表格上方 宋体，五号 居中 表2-1 协议形式分析中的符号说明A System pr
13、incipal A ( Alice )B System principal B (Bob)S Trusted ServerAB: m A sending a message m to B m可放箭头上m,n Concatenation of message m and n 可用逗点代逗号Ks Public key of the Trusted Servermk Encrypt m using key kmk Decrypt m using key k Bit-wise exclusive-or operation (XOR) 三级标题 宋体 五号2.1.3 电子商务协议介绍本文只考虑协议的非否
14、认性和公平性，假定协议是安全的，并不引入第三方攻击者模型，因而参与协议的主体集合为：付款人A，收款人B、货币服务方CS 。其中货币服务方CS是诚实公正的，将严格执行协议运行，而A和B则不一定诚实有可能为了自己的利益中断协议执行。协议中三个参与主体在SMV系统中都对应一个FSM, 这三个FSM在同一MODULE之内，每个主体都是这个MODULE的一个实例(Instance),这三个实例分别为Payer，Payee和CoinService。在协议运行的时候，每个主体选择各自相应的自动机运行，其状态转移图分别示于图2-1、图2-2和图2-3（其中，！表示发送消息；？表示接收消息）。图名称位于图示下方 宋体，五号，居中 图2-1 付款人A的状态转换图7 结束语形式化描述方法是连接协议工程各个阶段的纽带，是协议工程中的核心问题。电子商务协议是实现电子商务的重要技术基础，而安全性、公平性和可追究性又是电子商务协议安全中最重要的性质。基于逻辑的形式分析方法已成为目前电子商务协议研究的主要热点，也是设计电子商务协议中值得研究的重要课题。本章将对全文的研究工作及创新点进行总结，并且提出一些需要进一步深入研究的问题。7.1 主要研究工作7.2 下一步工作参考文献1 昂温 G，昂温P S外国出版史M陈生铮，译
