- 1、本文档共15页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
我国储蓄函数的多元线性回归本科毕业论文设计
本 科 毕 业 论 文 (设 计)
我国储蓄函数的多元线性回归
分析我国储蓄函数的多元线
A Multivariate Linear Regression
Analysis of China’s Savings Function
作 者 专 业 金融学 指导教师 副教授 分 院 金融学院 摘要
本文主要对逻辑方法与模型检测技术及其在电子商务协议并形式化分析中的应用进行了系统研究。总的来说,从理论到实践两个层面上研究了电子商务协议的形式化分析的相关技术,其工作主要有以下几个方面:
1.对电子商务协议的基本理论和基本性质进行了分析和讨论,包括:安全性、必威体育官网网址性、完整性、可认证性、非否认性、公平性、时效性等,并对其中一些重要性质做新的定义,提出电子商务协议设计的基本准则。
2.对当前流行的电子商务协议形式化分析方法进行重点研究,包括BAN逻辑、Kailar逻辑及周—卿方法。采用这些较新的形式化分析方法对几个典型协议进行分析,找出设计缺陷并提出新的公平非否认性协议。
关键词:电子商务协议,形式化分析,逻辑方法,模型检测,博弈逻辑
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
目录
摘要 I
Abstract II
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.绪论
最近几年来,随着计算机与网络技术的飞速发展和广泛应用,使得信息的流通与存取变得更为快速与便捷。例如:政府积极推进电子政务、企业公司间电子商务(Electronic commerce)、个人在线购物(on-line Shopping)、信息家电(Information Appliance)、电子商务等,这些都是计算机与网络技术的重大应用的结果。因此可以说,在过去的十几年里,计算机与计算机网络技术带给人类社会的重大影响,不亚于工业革命,意义重大而深远。
自从美国前总统克林顿发表了“电子商务白皮书”之后,各国都加快步伐来构建电子商务系统,以迎接全球信息化、网络商业化的到来。冲绳八国集团发表的全球信息化宣言其核心的内容就是电子商务(Electronic commerce),据IDC公布的数据,全球电子商务的规模2003年已突破1万亿美元,2004年已超过7.3万亿美元.“上网的企
您可能关注的文档
- [优秀精品毕业论文]智能交通灯PLC论文.doc
- [优秀精品毕业论文]园林设计论文.doc
- [优秀精品毕业论文]音像管理系统论文.doc
- [优秀精品毕业论文]学生宿舍楼土建工程预算毕业论文.doc
- [优秀精品毕业论文]现代诗歌论文 缪斯来了——中国诗歌现代化的前后浅析.doc
- [优秀精品毕业论文]我国会计师事务所发展对策研究.doc
- [优秀精品毕业论文]外建史论文__五位现代建筑大师的研究.doc
- [优秀精品毕业论文]土木工程认识实习论文 桥梁工程.doc
- [优秀精品毕业论文]土木工程材料力学论文 滠水一桥总结报告.doc
- [优秀精品毕业论文]提高PLC自动控制系统可靠性的方法_论文.doc
- 浙江省县域教研联盟2024-2025学年高三上学期12月模拟考试技术试题-高中信息技术2.docx
- 湖南省岳阳市云溪区2024-2025学年高三上学期11月期中地理试题.docx
- 浙江省杭州市北斗联盟2024-2025学年高一上学期期中联考政治试题2.docx
- 广东省肇庆市实验中学高三理科化学第16周限时训练.doc
- 黑龙江省牡丹江市第一高级中学2024-2025学年高一上学期11月期中地理试题2.docx
- 云南省玉溪市峨山一中2017-2018学年高二四月份月考生物试题.doc
- 山东省实验中学高三第三次诊断考试历史试题.docx
- 山东省菏泽第一中学2024-2025学年高二上学期第一次月考历史试题含答案.docx
- 山东省菏泽市2024-2025学年高一上学期11月期中数学试题(A)含解析.docx
- 安徽省六安市舒城中学高三仿真(一)文科综合试题.doc
文档评论(0)