资源描述：
《我国储蓄函数的多元线性回归分析我国储蓄函数的多元线》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、贵州财经大学2015届本科毕业论文（设计）本科毕业论文（设计）我国储蓄函数的多元线性回归小3号宋体，加下划线分析我国储蓄函数的多元线AMultivariateLinearRegression小3号TimesNewRoman，加下划线AnalysisofChina’sSavingsFunction作者孙彦龙13908510851专业商务1126财务管理指导教师张目副教授系部金融系二〇一五年五月4贵州财经大学2015届本科毕业论文（设计）诚信声明本人郑重声明：本人所呈交的毕业论文，是在导师指导下独立研究取得的成果。毕业论文中凡引用他人已经发表的成果、数据、观点等，均已明确注明出处。除文中已
2、注明引用的内容外，不包含任何其他个人或集体已发表的论文。若有抄袭，愿承担一切后果。特此声明作者签名：签字日期：贵州财经大学商务学院本科毕业论文授权使用声明作为本科生毕业的条件之一,毕业论文著作权拥有者授权贵州财经大学商务学院拥有毕业论文的部分使用权,即:学校有权按有关规定向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅,可以将毕业论文编入有关数据库进行检索,可以釆用影印、缩印或扫描等复制手段保存、汇编毕业论文。本人提交的电子文档的内容和纸质论文的内容相一致。保密的毕业论文在解密后也遵守此规定。`□公开□保密(年)作者签名：签字日期：指导教师签名：签字日期：4贵州财经大
3、学2015届本科毕业论文（设计）四号、黑体、加粗、居中摘要本文主要对逻辑方法与模型检测技术及其在电子商务协议并形式化分析中的应用进行了系统研究。总的来说，从理论到实践两个层面上研究了电子商务协议的形式化分析的相关技术，其工作主要有以下几个方面:1.对电子商务协议的基本理论和基本性质进行了分析和讨论，包括：安全性、保密性、完整性、可认证性、非否认性、公平性、时效性等，并对其中一些重要性质做新的定义，提出电子商务协议设计的基本准则。五号、宋体、1.5倍行间距2.对当前流行的电子商务协议形式化分析方法进行重点研究，包括BAN逻辑、Kailar逻辑及周—卿方法。采用这些较新的形式化分析方法对几
4、个典型协议进行分析，找出设计缺陷并提出新的公平非否认性协议。五号、宋体、用逗号分隔关键词：电子商务协议，形式化分析，逻辑方法，模型检测，博弈逻辑四号、黑体、加粗4贵州财经大学2015届本科毕业论文（设计）四号，TimesNewRoman加粗、居中AbstractThedissertationmainlystudiestheapplicationsoflogicandmodelcheckingmethodsinformalanalysisofE-commerceprotocols.Ingeneral,theauthorstudiestherelatedformalanalysistech
5、nologyofE-commerceprotocolsfromtwoaspects,theoryandapplications.Themainworksandresultsareasfollows:1.AnalyzesanddiscussesthebasictheoriesandcharactersofE-commerceprotocols,includes:security,secrecy,integrity,authentication,non-repudiation,fairness,timelinessandetc.redefinesomekeysignificantchara
6、cters,andbringforwardsomenewrulesofE-commerceprotocolsdesign.2.StudiesthecurrentformalanalysismethodsforE-commerceprotocols:BANlogic、KailarlogicandZhou-Qingapproach.Usetheabovemethodstoanalyzingsomeimportantprotocols,findoutitslimitationsandbringforwardanewfairnon-repudiationprotocol.五号，TimesNew
7、Roman，用逗号分隔开五号，TimesNewRoman加粗Keywords：E-commerceProtocols,formalanalysis,logicmethod,SymbolicModelChecking,gamelogic4贵州财经大学2015届本科毕业论文（设计）目录摘要IAbstractII1.绪论11.1课题背景12.电子商务协议22.1密码协议27结束语37.1主要研究工作37.2下一步工作3参考文献4致谢5附录1:参考文献
