我国储蓄函数的多元线性回归本科毕业论文设计.doc

本 科 毕 业 论 文 （设 计） 我国储蓄函数的多元线性回归 分析我国储蓄函数的多元线 A Multivariate Linear Regression Analysis of China’s Savings Function 作 者 专 业 金融学 指导教师 副教授 分 院 金融学院 摘要 本文主要对逻辑方法与模型检测技术及其在电子商务协议并形式化分析中的应用进行了系统研究。总的来说，从理论到实践两个层面上研究了电子商务协议的形式化分析的相关技术，其工作主要有以下几个方面: 1.对电子商务协议的基本理论和基本性质进行了分析和讨论，包括：安全性、保密性、完整性、可认证性、非否认性、公平性、时效性等，并对其中一些重要性质做新的定义，提出电子商务协议设计的基本准则。 2.对当前流行的电子商务协议形式化分析方法进行重点研究，包括BAN逻辑、Kailar逻辑及周—卿方法。采用这些较新的形式化分析方法对几个典型协议进行分析，找出设计缺陷并提出新的公平非否认性协议。 关键词：电子商务协议，形式化分析，逻辑方法，模型检测，博弈逻辑  Abstract The 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 protocols 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 significant 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 forward a new fair non-repudiation protocol. Keywords：E-commerce Protocols, formal analysis, logic method, Symbolic Model Checking, game logic 目录 摘要 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:论文目录和页码的设置方法 4  1.绪论 最近几年来，随着计算机与网络技术的飞速发展和广泛应用，使得信息的流通与存取变得更为快速与便捷。例如:政府积极推进电子政务、企业公司间电子商务(Electronic commerce)、个人在线购物(on-line Shopping)、信息家电(Information Appliance)、电子商务等，这些都是计算机与网络技术的重大应用的结果。因此可以说，在过去的十几年里，计算机与计算机网络技术带给人类社会的重大影响，不亚于工业革命，意义重大而深远。 自从美国前总统克林顿发表了“电子商务白皮书”之后，各国都加快步伐来构建电子商务系统，以迎接全球信息化、网络商业化的到来。冲绳八国集团发表的全球信息化宣言其核心的内容就是电子商务(Electronic commerce)，据IDC公布的数据，全球电子商务的规模2003年已突破1万亿美元，2004年已超过7.3万亿美元.“上网的企