由我国储蓄函数的多元线性回归 分析我国储蓄函数的多元线本科毕业论文格式实例辅导.docx
- 文档编号:1973046
- 上传时间:2022-10-25
- 格式:DOCX
- 页数:11
- 大小:114.58KB
由我国储蓄函数的多元线性回归 分析我国储蓄函数的多元线本科毕业论文格式实例辅导.docx
《由我国储蓄函数的多元线性回归 分析我国储蓄函数的多元线本科毕业论文格式实例辅导.docx》由会员分享,可在线阅读,更多相关《由我国储蓄函数的多元线性回归 分析我国储蓄函数的多元线本科毕业论文格式实例辅导.docx(11页珍藏版)》请在冰豆网上搜索。
由我国储蓄函数的多元线性回归分析我国储蓄函数的多元线本科毕业论文格式实例辅导
本科毕业论文(设计)
我国储蓄函数的多元线性回归
分析我国储蓄函数的多元线
AMultivariateLinearRegression
AnalysisofChina’sSavingsFunction
作者
专业
指导教师
学院
诚信声明
本人郑重声明:
本人所呈交的毕业论文,是在导师
指导下独立研究取得的成果。
毕业论文中凡引用他人已经发表的成果、数据、观点等,均已明确注明出处。
除文中已注明引用的内容外,不包含任何其他个人或集体已发表的论文。
若有抄袭,愿承担一切后果。
特此声明
作者签名:
签字日期:
财经大学本科毕业论文授权使用声明
作为本科生毕业的条件之一,毕业论文著作权拥有者授权财经大学拥有毕业论文的部分使用权,即:
学校有权按有关规定向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅,可以将毕业论文编入有关数据库进行检索,可以釆用影印、缩印或扫描等复制手段保存、汇编毕业论文。
本人提交的电子文档的内容和纸质论文的内容相一致。
保密的毕业论文在解密后也遵守此规定。
`□公开□保密(年)
作者签名:
签字日期:
指导教师签名:
签字日期:
摘要
本文主要对逻辑方法与模型检测技术及其在电子商务协议并形式化分析中的应用进行了系统研究。
总的来说,从理论到实践两个层面上研究了电子商务协议的形式化分析的相关技术,其工作主要有以下几个方面:
1.对电子商务协议的基本理论和基本性质进行了分析和讨论,包括:
安全性、保密性、完整性、可认证性、非否认性、公平性、时效性等,并对其中一些重要性质做新的定义,提出电子商务协议设计的基本准则。
2.对当前流行的电子商务协议形式化分析方法进行重点研究,包括BAN逻辑、Kailar逻辑及周—卿方法。
采用这些较新的形式化分析方法对几个典型协议进行分析,找出设计缺陷并提出新的公平非否认性协议。
关键词:
电子商务协议,形式化分析,逻辑方法,模型检测,博弈逻辑
Abstract
ThedissertationmainlystudiestheapplicationsoflogicandmodelcheckingmethodsinformalanalysisofE-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
目录
摘要I
AbstractII
1.绪论1
1.1课题背景1
2.电子商务协议2
2.1密码协议2
7结束语3
7.1主要研究工作3
7.2下一步工作3
参考文献4
致谢5
附录1:
参考文献基本格式1
附录2:
论文目录和页码的设置方法4
1.绪论
最近几年来,随着计算机与网络技术的飞速发展和广泛应用,使得信息的流通与存取变得更为快速与便捷。
例如:
政府积极推进电子政务、企业公司间电子商务(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]。
……
2.电子商务协议
2.1密码协议
密码协议基本概念
密码协议是密码参与者采取的一系列步骤,它包括两方或多方密码参与者,设计它的目的是要完成一项任务。
“一系列步骤”意味着协议是从开始到结束的一个序列,每一步必须按严格的规定依次执行,在前一步完成前,后面的步骤都不能执行;“包括两方或多方”意味着完成这个协议至少需要两个人,单独的一个人不能构成协议,当然单独的一个人也可采取一系列步骤去完成一个任务,但这不是协议(另外一些人必须完成某件事才构成协议);最后,“设计它的目的是要完成一项任务”意味着协议必须做一些事。
有些东西看起来像协议,但不完成一个任务,那也不是一个完整的协议,只是浪费时间而已[2]。
……
为了分析方便和书写统一,我们对本书中用到的关于协议形式分析中的符号说明如表2-1所示:
表2-1协议形式分析中的符号说明
A
SystemprincipalA(Alice)
B
SystemprincipalB(Bob)
S
TrustedServer
AB:
m
AsendingamessagemtoBm可放箭头上
m,n
Concatenationofmessagemandn可用逗点代逗号
Ks
PublickeyoftheTrustedServer
{m}k
Encryptmusingkeyk
[m]k
Decryptmusingkeyk
Bit-wiseexclusive-oroperation(XOR)
2.1.3电子商务协议介绍
……
本文只考虑协议的非否认性和公平性,假定协议是安全的,并不引入第三方攻击者模型,因而参与协议的主体集合为:
{付款人A,收款人B、货币服务方CS}。
其中货币服务方CS是诚实公正的,将严格执行协议运行,而A和B则不一定诚实有可能为了自己的利益中断协议执行。
协议中三个参与主体在SMV系统中都对应一个FSM,这三个FSM在同一MODULE之内,每个主体都是这个MODULE的一个实例(Instance),这三个实例分别为Payer,Payee和CoinService。
在协议运行的时候,每个主体选择各自相应的自动机运行,其状态转移图分别示于图2-1、图2-2和图2-3(其中,!
表示发送消息;?
表示接收消息)。
图2-1付款人A的状态转换图
……
7结束语
形式化描述方法是连接协议工程各个阶段的纽带,是协议工程中的核心问题。
电子商务协议是实现电子商务的重要技术基础,而安全性、公平性和可追究性又是电子商务协议安全中最重要的性质。
基于逻辑的形式分析方法已成为目前电子商务协议研究的主要热点,也是设计电子商务协议中值得研究的重要课题。
……
本章将对全文的研究工作及创新点进行总结,并且提出一些需要进一步深入研究的问题。
7.1主要研究工作
……
7.2下一步工作
……
参考文献
[1]昂温G,昂温PS.外国出版史[M].陈生铮,译.北京:
中国书籍出版社,1988.
[2]马克思.关于《工资、价格和利润》的报告札记[M]//马克思,恩格斯.马克思恩格斯全集:
第44卷.北京:
人民出版社,1982:
505.
[3]中国地质学会.地质论评[J].1936,1
(1)-.北京:
地质出版社,1936-.
[4]李炳穆.理想的图书馆员和信息专家的素质与形象[J].图书情报工作,2000
(2):
5-8.
[5]姜锡洲.一种温热外敷药制备方案:
中国,88105607.3[P].1989-07-26.
[6]METCALFSW.TheTortHallairemissionstudy[C/OL]//TheInternationalCongressonHazardousWaste,AtlanticMarriottMarquisHotel,Atlanta,Georgia,June5-8,1995:
Impactonhumanandecologicalhealth[1998-09-22].http:
//atsdrl.astdr.cdc.gov:
8080/Cong95.html.
致谢
感谢我的导师XXX教授,他自学严谨、一
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 由我国储蓄函数的多元线性回归 分析我国储蓄函数的多元线 本科毕业论文格式实例辅导 我国 储蓄 函数 多元 线性 回归 分析 本科毕业 论文格式 实例 辅导
![提示](https://static.bdocx.com/images/bang_tan.gif)