搜索
本科毕业论文（设计）我国储蓄函数的多元线性回归分析我国储蓄函数的多元线AMultivariateLinearRegressionAnalysisofChina’sSavingsFunction作者孙彦龙专业金融学指导教师张目副教授学院金融学院二〇一〇年五月小3号宋体，加下划线小3号TimesNewRoman，加下划线诚信声明本人郑重声明：本人所呈交的毕业论文，是在导师指导下独立研究取得的成果。毕业论文中凡引用他人已经发表的成果、数据、观点等，均已明确注明出处。除文中已注明引用的内容外，不包含任何其他个人或集体已发表的论文。若有抄袭，愿承担一切后果。特此声明作者签名：签字日期：贵州财经大学本科毕业论文授权使用声明作为本科生毕业的条件之一,毕业论文著作权拥有者授权贵州财经大学拥有毕业论文的部分使用权,即:学校有权按有关规定向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅,可以将毕业论文编入有关数据库进行检索,可以釆用影印、缩印或扫描等复制手段保存、汇编毕业论文。本人提交的电子文档的内容和纸质论文的内容相一致。保密的毕业论文在解密后也遵守此规定。`□公开□保密(年)作者签名：签字日期：指导教师签名：签字日期：贵州财经大学2015届本科毕业论文（设计）I摘要本文主要对逻辑方法与模型检测技术及其在电子商务协议并形式化分析中的应用进行了系统研究。总的来说，从理论到实践两个层面上研究了电子商务协议的形式化分析的相关技术，其工作主要有以下几个方面:1.对电子商务协议的基本理论和基本性质进行了分析和讨论，包括：安全性、保密性、完整性、可认证性、非否认性、公平性、时效性等，并对其中一些重要性质做新的定义，提出电子商务协议设计的基本准则。2.对当前流行的电子商务协议形式化分析方法进行重点研究，包括BAN逻辑、Kailar逻辑及周—卿方法。采用这些较新的形式化分析方法对几个典型协议进行分析，找出设计缺陷并提出新的公平非否认性协议。关键词：电子商务协议，形式化分析，逻辑方法，模型检测，博弈逻辑四号、黑体、加粗、居中四号、黑体、加粗五号、宋体、1.5倍行间距五号、宋体、用逗号分隔贵州财经大学2015届本科毕业论文（设计）IIAbstractThedissertationmainlystudiestheapplicationsoflogicandmodelcheckingmethodsinformalanalysisofE-commerceprotocols.Ingeneral,theauthorstudiestherelatedformalanalysistechnologyofE-commerceprotocolsfromtwoaspects,theoryandapplications.Themainworksandresultsareasfollows:1.AnalyzesanddiscussesthebasictheoriesandcharactersofE-commerceprotocols,includes:security,secrecy,integrity,authentication,non-repudiation,fairness,timelinessandetc.redefinesomekeysignificantcharacters,andbringforwardsomenewrulesofE-commerceprotocolsdesign.2.StudiesthecurrentformalanalysismethodsforE-commerceprotocols:BANlogic、KailarlogicandZhou-Qingapproach.Usetheabovemethodstoanalyzingsomeimportantprotocols,findoutitslimitationsandbringforwardanewfairnon-repudiationprotocol.Keywords：E-commerceProtocols,formalanalysis,logicmethod,SymbolicModelChecking,gamelogic四号，TimesNewRoman加粗、居中五号，TimesNewRoman加粗五号，TimesNewRoman，用逗号分隔开贵州财经大学2015届本科毕业论文（设计）i目录摘要...................................................................................................................................................IAbstract............................................................................................................................................II1.绪论................................................................................................................................................11.1课题背景.....................................................................................................................................12.电子商务协议................................................................................................................................22.1密码协议.....................................................................................................................................27结束语...........................................................................................................................................37.1主要研究工作............................................................................................................................37.2下一步工作................................................................................................................................3参考文献...........................................................................................................................................4致谢...............................................................................................................................................5附录1:参考文献基本格式...............................................................................................................1附录2:论文目录和页码的设置方法...............................................................................................4贵州财经大学2015届本科毕业论文（设计）11.绪论最近几年来，随着计算机与网络技术的飞速发展和广泛应用，使得信息的流通与存取变得更为快速与便捷。例如:政府积极推进电子政务、企业公司间电子商务(Electroniccommerce)、个人在线购物(on-lineShopping)、信息家电(InformationAppliance)、电子商务等，这些都是计算机与网络技术的重大应用的结果。因此可以说，在过去的十几年里，计算机与计算机网络技术带给人类社会的重大影响，不亚于工业革命，意义重大而深远。自从美国前总统克林顿发表了“电子商务白皮书”之后，各国都加快步伐来构建电子商务系统，以迎接全球信息化、网络商业化的到来。冲绳八国集团发表的全球信息化宣言其核心的内容就是电子商务(Electroniccommerce)，据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.5倍行距，段首缩进两个字符贵州财经大学2015届本科毕业论文（设计）22.电子商务协议2.1密码协议密码协议基本概念密码协议是密码参与者采取的一系列步骤，它包括两方或多方密码参与者，设计它的目的是要完成一项任务。“一系列步骤”意味着协议是从开始到结束的一个序列，每一步必须按严格的规定依次执行，在前一步完成前，后面的步骤都不能执行；“包括两方或多方”意味着完成这个协议至少需要两个人，单独的一个人不能构成协议，当然单独的一个人也可采取一