确定稿信息学院本科论文模版样式

《确定稿信息学院本科论文模版样式》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、本科毕业论文（设计）网络信息安全技术研究（小3号宋体，加下划线）AMultivariateLinearRegressionAnalysisofChina’sSavingsFunction（小3号TimesNewRoman，加下划线）作者XXX专业计算机科学与技术指导教师文静华教授分院信息学院二〇〇九年五月5目录摘要ⅠABSTRACTⅡ1绪论11.1课题背景11.2我们的工作与本文的组织结构21.2.1主要工作41.2.2本文的组织结构62电子商务协议82.1密码协议92.1.1密码协议基本概念192.1.2密码协议分类202.1.3密

2、码协议的安全性232.1.4密码协议的设计规范252.1.5密码协议的形式化分析263电子商务协议的逻辑分析方法及其在公平非否认协议中的应用283.1一阶逻辑393.1.1简要介绍433.1.2语法493.1.3语义563.2BAN逻辑593.2.1BAN逻辑综述663.2.2BAN逻辑703.2.3BAN逻辑系统中的构造子783.2.4BAN逻辑系统中的基本推理规则793.2.5基于BAN逻辑的认证协议分析893.2.6一个新的认证协议及其形式化分析96……7结束语977.1主要研究工作997.2下一步工作100主要参考文献101附

3、录A:XXXXX103致谢1045摘要（字数250左右）本文主要对逻辑方法与模型检测技术及其在电子商务协议并形式化分析中的应用进行了系统研究。总的来说，从理论到实践两个层面上研究了电子商务协议的形式化分析的相关技术，其工作主要有以下几个方面:1.对电子商务协议的基本理论和基本性质进行了分析和讨论，包括：安全性、保密性、完整性、可认证性、非否认性、公平性、时效性等，并对其中一些重要性质做新的定义，提出电子商务协议设计的基本准则。2.对当前流行的电子商务协议形式化分析方法进行重点研究，包括BAN逻辑、Kailar逻辑及周—卿方法。采用这些

4、较新的形式化分析方法对几个典型协议进行分析，找出设计缺陷并提出新的公平非否认性协议。关键词：电子商务协议，形式化分析，逻辑方法，模型检测，博弈逻辑5AbstractThedissertationmainlystudiestheapplicationsoflogicandmodelcheckingmethodsinformalanalysisofE-commerceprotocols.Ingeneral,theauthorstudiestherelatedformalanalysistechnologyofE-commerceproto

5、colsfromtwoaspects,theoryandapplications.Themainworksandresultsareasfollows:1.AnalyzesanddiscussesthebasictheoriesandcharactersofE-commerceprotocols,includes:security,secrecy,integrity,authentication,non-repudiation,fairness,timelinessandetc.redefinesomekeysignificantch

6、aracters,andbringforwardsomenewrulesofE-commerceprotocolsdesign.2.StudiesthecurrentformalanalysismethodsforE-commerceprotocols:BANlogic、KailarlogicandZhou-Qingapproach.Usetheabovemethodstoanalyzingsomeimportantprotocols,findoutitslimitationsandbringforwardanewfairnon-re

7、pudiationprotocol.Keywords:E-commerceProtocols,formalanalysis,logicmethod,SymbolicModelChecking,gamelogic51绪论最近几年来，随着计算机与网络技术的飞速发展和广泛应用，使得信息的流通与存取变得更为快速与便捷。例如:政府积极推进电子政务、企业公司间电子商务(Electroniccommerce)、个人在线购物(on-lineShopping)、信息家电(InformationAppliance)、电子商务等，这些都是计算机与网络技术的

8、重大应用的结果。因此可以说，在过去的十几年里，计算机与计算机网络技术带给人类社会的重大影响，不亚于工业革命，意义重大而深远。自从美国前总统克林顿发表了“电子商务白皮书”之后，各国都加快步伐来构建电子商务系统，以迎接全球信