贵州财经大学本科毕业论文参考格式（2015版）解析

本 科 毕 业 论 文 （设 计）

我国储蓄函数的多元线性回归 分析我国储蓄函数的多元线

小3号宋体，加下划线 A Multivariate Linear Regression Analysis of China’s Savings Function

小3号Times New Roman，加下划线 作 者 专 业 指导教师 学 院

孙彦龙 金融学 张目 副教授 金融学院

二〇一〇年五月

诚信声明

本人郑重声明：本人所呈交的毕业论文，是在导师 指导下独立研究取得的成果。毕业论文中凡引用他人已经发表的成果、数据、观点等，均已明确注明出处。除文中已注明引用的内容外，不包含任何其他个人或集体已发表的论文。若有抄袭，愿承担一切后果。

特此声明

作者签名： 签字日期：

贵州财经大学本科毕业论文授权使用声明

作为本科生毕业的条件之一,毕业论文著作权拥有者授权贵州财经大学拥有毕业论文的部分使用权,即:学校有权按有关规定向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅,可以将毕业论文编入有关数据库进行检索,可以釆用影印、缩印或扫描等复制手段保存、汇编毕业论文。本人提交的电子文档的内容和纸质论文的内容相一致。保密的毕业论文在解密后也遵守此规定。

`□公开 □保密(

作 者 签 名： 签字日期： 指导教师签名： 签字日期：

年)

四号、黑体、加粗、居中 摘要

本文主要对逻辑方法与模型检测技术及其在电子商务协议并形式化分析中的应用进行了系统研究。总的来说，从理论到实践两个层面上研究了电子商务协议的形式化分析的相关技术，其工作主要有以下几个方面:

1.对电子商务协议的基本理论和基本性质进行了分析和讨论，包括：安全性、保密性、完整性、可认证性、非否认性、公平性、时效性等，并对其中一些重要性质做新的定义，提出电子商务协议设计的基本准则。

2.对当前流行的电子商务协议形式化分析方法进行重点研究，包括BAN逻辑、Kailar逻辑及周—卿方法。采用这些较新的形式化分析方法对几个典型协议进行分析，找出设计缺陷并提出新的公平非否认性协议。

五号、宋体、1.5倍行间距 关键词：电子商务协议，形式化分析，逻辑方法，模型检测，博弈逻辑 四号、黑体、加粗 五号、宋体、用逗号分隔 I

四号，TimesNewRoman加粗、居中 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五号，TimesNewRoman加粗 五号，TimesNewRoman，用逗号分隔开 II