本科毕业论文（设计）我国储蓄函数的多元线性回归分析我国储蓄函数的多元线小3号宋体，加下划线A Multivariate Linear RegressionAnalysis of China's Savings Function小3号Times NewRoman,加下划线作者孙彦龙13908510851专业商务1126财务管理指导教师张目副教授系部金融系二O一五年五月诚信声明本人郑重声明：本人所呈交的毕业论文，是在导师指导下独立研究取得的成果。毕业论文中凡引用他人已经发表的成果、数据、观点等，均已明确注明出处。除文中已注明引用的内容外，不包含任何其他个人或集体已发表的论文。若有抄袭，愿承担一切后果。特此声明作者签名：签字日期：贵州财经大学商务学院本科毕业论文授权使用声明作为本科生毕业的条件之一，毕业论文著作权拥有者授权贵州财经大学商务学院拥有毕业论文的部分使用权，即：学校有权按有关规定向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅，可以将毕业论文编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编毕业论文。本人提交的电子文档的内容和纸质论文的内容相一致。保密的毕业论文在解密后也遵守此规定。口公开口保密(年)作者签名：签字日期：指导教师签名：签字日期：贵州财经大学2015届本科毕业论文〔设计)四号、黑体、加粗、居中摘要本文主要对逻辑方法与模型检测技术及其在电子商务协议并形式化分析中的应用进行了系统研究。总的来说，从理论到实践两个层面上研究了电子商务协议的形式化分析的相关技术，其工作主要有以下几个方面：1对电子商务协议的基本理论和基本性质进行了分析和讨论，包括：安全性、保密性、完整性、可认证性、非否认性、公平性、时效性等，并对其中一些重要性质做新的定义，提出电子商务协议设计的基本准则。2.对当前流行的电子商务协议形式化分析方法进行重点研究，包括BAN逻辑、Kailar逻辑及周一卿方法。采用这些较新的形式化分析方法对几个典型协议进行分析，找出设计缺陷并提出新的公平非否认性协议。五号、宋体、1.5倍行间距关键词：电子商务协议，形式化分析，逻辑方法，模型检测，博弈逻辑五号、宋体用逗号分隔四号、黑体、加粗