文档介绍：本科毕业论文(设计)
我国储蓄函数的多元线性回归
小3号宋体,加下划线
分析我国储蓄函数的多元线
A Multivariate Linear Regression
小3号Times New Roman,加下划线
Analysis of China’s Savings Function
作者
孙彦龙
专业
金融学
指导教师
张目副教授
分院
金融学院
二〇一〇年五月
诚信声明
本人郑重声明:本人所呈交的毕业论文,是在导师
指导下独立研究取得的成果。毕业论文中凡引用他人已经发表的成果、数据、观点等,均已明确注明出处。除文中已注明引用的内容外,不包含任何其他个人或集体已发表的论文。若有抄袭,愿承担一切后果。
特此声明
完***签名:
年月日
四号、黑体、加粗、居中
摘要
本文主要对逻辑方法与模型检测技术及其在电子商务协议并形式化分析中的应用进行了系统研究。总的来说,从理论到实践两个层面上研究了电子商务协议的形式化分析的相关技术,其工作主要有以下几个方面:
,包括:安全性、保密性、完整性、可认证性、非否认性、公平性、时效性等,并对其中一些重要性质做新的定义,提出电子商务协议设计的基本准则。
五号、宋体、
,包括BAN逻辑、Kailar逻辑及周—卿方法。采用这些较新的形式化分析方法对几个典型协议进行分析,找出设计缺陷并提出新的公平非否认性协议。
五号、宋体、用逗号分隔
关键词:电子商务协议,形式化分析,逻辑方法,模型检测,博弈逻辑
四号、黑体、加粗
四号,TimesNewRoman加粗、居中
Abstract
The dissertation mainly studies the applications of logic and model checking methods in formal analysis of merce protocols. In general, the author studies the related formal analysis technology of merce protocols from two aspects, theory and applications. The main works and results are as follows:
and discusses the basic theories and characters of merce protocols, includes: security, secrecy, integrity, authentication, non-repudiation, fairness, timeliness and etc. redefine some key significant characters, and bring forward some new rules of merce protocols design.
the current formal analysis methods for merce 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.
五号,TimesNewRoman,用逗号分隔开
五号,TimesNewRoman加粗
Keywords:merce Protocols, formal analysis, logic method, Symbolic Model Checking, game logic
目录
摘要 I
Abstract II
1
1
2
2
7 结束语 3
主要研究工作 3
下一步工作 3
参考文献 4
致谢 5
附录1:参考文献基本格式 1
附录2:论文目录和页码的设置方法 4
一级标题四号宋体加粗
正文部分宋体五号字 ,段首缩进两个字符
最近几年来,随着计算机与网络技术的飞速发展和广泛应用,使得信息的流通与存取变得更为快速与便捷。例如:政府积极推进电子政务、企业公司