《2022年文献综述报告格式归纳 .pdf》由会员分享，可在线阅读，更多相关《2022年文献综述报告格式归纳 .pdf（15页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、文献综述格式、范文及书写规范要求一、定义：综述是指就某一时间内，作者针对某一专题，对大量原始研究论文中的数据、资料和主要观点进行归纳整理、分析提炼而写成的论文。综述属三次文献，专题性强，涉及范围较小，具有一定的深度和时间性，能反映出这一专题的历史背景、研究现状和发展趋势，具有较高的情报学价值。阅读综述，可在较短时间内了解该专题的最新研究动态，可以了解若干篇有关该专题的原始研究论文。国内外大多数医学期刊都辟有综述栏目。检索和阅读文献是撰写综述的重要前提工作。一篇综述的质量如何，很大程度上取决于作者对本题相关的最新文献的掌握程度。如果没有做好文献检索和阅读工作，就去撰写综述，是绝不会写出高水平的综
2、述的。综述的写作格式一般包括四部分，即前言、正文、小结、参考文献。前言，要用简明扼要的文字说明写作的目的、必要性、有关概念的定义，综述的范围，阐述有关问题的现状和动态，以及目前对主要问题争论的焦点等。前言一般 200-300 字为宜，不宜超过500 字。正文，是综述的重点，写法上没有固定的格式，只要能较好地表达综合的内容，作者可创造性采用诸多形式。正文主要包括论据和论证两个部分，通过提出问题、分析问题和解决问题，比较不同学者对同一问题的看法及其理论依据，进一步阐明问题的来龙去脉和作者自己的见解。当然，作者也可从问题发生的历史背景、目前现状、发展方向等提出文献的不同观点。正文部分可根据内容的多少
3、可分为若干个小标题分别论述。小结，是结综述正文部分作扼要的总结，作者应对各种观点进行综合评价，提出自己的看法，指出存在的问题及今后发展的方向和展望。内容单纯的综述也可不写小结。二、格式综述一般都包括题名、著者、摘要、关键词、正文、参考文献几部分。其中正文部分又由前言、主体和总结组成。前言用 200 300 字的篇幅，提出问题，包括写作目的、意义和作用，综述问题的历史、资料来源、现状和发展动态，有关概念和定义，选择这一专题的目的和动机、应用价值和实践意义，如果属于争论性课题，要指明争论的焦点所在。主体主要包括论据和论证。通过提出问题、分析问题和解决问题，比较各种观点的异同点及其理论根据，从而反映
4、作者的见解。为把问题说得明白透彻，可分为若干个小标题分述。这部分应包括历史发展、现状分析和趋向预测几个方面的内容。历史发展：要按时间顺序，简要说明这一课题的提出及各历史阶段的发展状况，体现各阶段的研究水平。现状分析：介绍国内外对本课题的研究现状及各派观点，包括作者本人的观点。将归纳、整理的科学事实和资料进行排列和必要的分析。对有创造性和发展前途的理论或假说要详细介绍，并引出论据；对有争论的问题要介绍各家观点或学说，进行比较，指问题的焦点和可能的发展趋势，并提出自己的看法。对陈旧的、过时的或已被否定的观点可从简。对一般读者熟知的问题只要提及即可。趋向预测：在纵横对比中肯定所综述课题的研究水平、存
5、在问题和不同观点，提出展望性意见。这部分内容要写得客观、准确，不但要指明方向，而且要提示捷径，为有志于攀登新高峰者指明方向，搭梯铺路。主体部分没有固定的格式，有的按问题发展历史依年代顺序介绍，也有按问题的现状加以阐述的。不论采用哪种方式，都应比较各家学说及论据，阐明有关问题的历史背景、现状和发展方向。三、写法主体部分的写法有下列几种：名师资料总结-精品资料欢迎下载-名师精心整理-第 1 页，共 15 页 -纵式写法纵是历史发展纵观，它主要围绕某一专题，按时间先后顺序或专题本身发展层次，对其历史演变、目前状况、趋向预测作纵向描述，从而勾划出某一专题的来龙去脉和发展轨迹。纵式写法要把握脉络分明，即
6、对某一专题在各个阶段的发展动态作扼要描述，已经解决了哪些问题，取得了什么成果，还存在哪些问题，今后发展趋向如何，对这些内容要把发展层次交代清楚，文字描述要紧密衔接。撰写综述不要孤立地按时间顺序罗列事实，把它写成了大事记或编年体。纵式写法还要突出一个创字。有些专题时间跨度大，科研成果多，在描述时就要抓住具有创造性、突破性的成果作详细介绍，而对一般性、重复性的资料就从简从略。这样既突出了重点，又做到了详略得当。纵式写法适合于动态性综述。这种综述描述专题的发展动向明显，层次清楚。横式写法横是国际国内横览，它就是对某一专题在国际和国内的各个方面，如各派观点、各家之言、各种方法、各自成就等加以描述和比较
7、。通过横向对比，既可以分辨出各种观点、见解、方法、成果的优劣利弊，又可以看出国际水平、国内水平和本单位水平，从而找到了差距。横式写法适用于成就性综述。这种综述专门介绍某个方面或某个项目的新成就，如新理论、新观点、新发明、新方法、新技术、新进展等等。因为是新，所以时间跨度短，但却引起国际、国内同行关注，纷纷从事这方面研究，发表了许多论文，如能及时加以整理，写成综述向同行报道，就能起到借鉴、启示和指导的作用。纵横结合式写法纵横结合式写法在同一篇综述中，同时采用纵式与横式写法。例如，写历史背景采用纵式写法，写目前状况采用横式写法。通过纵、横描述，才能广泛地综合文献资料，全面系统地认识某一专题及其发展
8、方向，作出比较可靠的趋向预测，为新的研究工作选择突破口或提供参考依据。无论是纵式、横式或是纵横结合式写法，都要求做到：一要全面系统地搜集资料，客观公正地如实反映；二要分析透彻，综合恰当；三要层次分明，条理清楚；四要语言简练，详略得当。总结是结综述正文部分作扼要的总结，作者应对各种观点进行综合评价，提出自己的看法，指出存在的问题及今后发展的方向和展望。内容单纯的综述也可不写小结。参考文献是综述的重要组成部分。一般参考文献的多少可体现作者阅读文献的广度和深度。对综述类论文参考文献的数量不同杂志有不同的要求，一般以30 条以内为宜，以最近3-5 年内的最新文献为主。四、书写规范要求：一、论文版式、格
9、式 1、字数：30005000 字 2、论文开本论文开本大小：210mm 297mm（a4 纸）3、标题：论文分三级标题一级标题：黑体，三号或16pt，段前、段后间距为1 行二级标题：黑体，四号或14pt，段前、段后间距为1 行三级标题：黑体，小四号或12pt，段前、段后间距为1 行 4、正文字体：正文采用五号宋体，行间距为18 磅；图、表标题采用小五号黑体；表格中文字、图例说明采用小五号宋体；表注采用六号宋体 5、文中表格均采用标准表格形式（如三线表）6、文中英文、罗马字符一般采用time new roman正体。7、表格和图例有中英文对照。名师资料总结-精品资料欢迎下载-名师精心整理-第
10、2 页，共 15 页 -二、论文的各组成部分与排列顺序中文标题英文标题作者，单位（班级）中文摘要关键词英文摘要关键词 1引言 2正文 2.1 2.1.1 2.2 3结论参考文献参考文献可顺序编码，即按文中引用的顺序编码。作者姓名写至第三位，余者写?，等?或?，et al.?。连续出版物：序号作者.文题.刊名，年，卷号（期号）：起 止页码专（译）著：序号作者.书名（，译者）.出版地：出版者，出版年，起止页码如何撰写综述性论文第一部分什么是综述？综述，其中综是综合，述，更多的不是叙述，而是评述和述评。只评述还不够，还要就观点、材料和方法进行综述。?综?是要求对文献资料进行综合分析、归纳整理，使材料
11、更精练明确、更有逻辑层次；?述?就是要求对综合整理后的文献进行比较专门的、全面的、深入的、系统的论述。总之，文献综述是作者对某一方面问题的历史背景、前人工作、争论焦点、研究现状和发展前景等内容进行评论的科学性论文。文献综述是对某一方面的专题搜集大量情报资料后经综合分析而写成的一种学术论文，它是科学文献的一种。文献综述是反映当前某一领域中某分支学科或重要专题的最新进展、学术见解和建议。它往往能反映出有关问题的新动态、新趋势、新水平、新原理和新技术等等。学写综述，至少有以下好处：通过搜集文献资料过程，可进一步熟悉科学文献的查找方法和资料的积累方法；在查找的过程中同时也扩大了知识面；查找文献资料、写
12、文献综述是科研选题及进行科研的第一步，因此学习文献综述的撰写也是为今后科研活动打基础的过程；通过综述的写作过程，能提高归纳、分析、综合能力，有利于独立工作能力和科研能力的提高；文献综述选题范围广，题目可大可小，可难可易。第二部分综述的类型文献综述有两种，一种是?大综述?，就一个领域的文献的总结。另一种是?小综述?。这个综述的目的主要不是为了向其他人介绍前沿，而是为了推出自己的论述和模型，是以述带论，就是说明现有的研究状况如何，缺在哪里，我准备做的贡献是什么。所以，这种综述并不强求非常全面细致，而应该侧重介绍与自己的研究直接相关的文献。第三部分综述的写作过程和方法名师资料总结-精品资料欢迎下载-
13、名师精心整理-第 3 页，共 15 页 -怎样写文献综述？形式可大可小，看8-10 篇与科研课题相关的文献，进行高度的总和、概述、分析，从概念到理论，不要出现摘要堆积；在内容上，与科研课题结合起来。写文献综述一般经过以下几个阶段：即选题，搜集阅读文献资料、拟定提纲（包括归纳、整理、分析）和成文。一、选题和搜集阅读文献撰写文献综述通常出于某种需要，如为某学术会议的专题、从事某项科研、为某方面积累文献资料等等，所以，文献综述的选题，作者一般是明确的，不象科研课题选题那么困难。文献综述选题范围广，题目可大可小，大到一个领域、一个学科，小到一种算法、一个方法、一个理论，可根据自己的需要而定。选定题目后
14、，则要围绕题目进行搜集与文题有关的文献。关于搜集文献的有关方法，可以如看专著、年鉴法、浏览法、滚雪球法、检索法等等。搜集文献要求越全越好，因而最常用的方法是用检索法。搜集好与文题有关的参考文献后，就要对这些参考文献进行阅读、归纳、整理，如何从这些文献中选出具有代表性、科学性和可靠性大的单篇研究文献十分重要，从某种意义上讲，所阅读和选择的文献的质量高低，直接影响文献综述的水平。因此在阅读文献时，要写好?读书笔记?、?读书心得?和做好?文献摘录卡片?。用自己的语言写下阅读时得到的启示、体会和想法，将文献的精髓摘录下来，不仅为撰写综述时提供有用的资料，而且对于训练自己的表达能力，阅读水平都有好处，特
15、别是将文献整理成文献摘录卡片，对撰写综述极为有利。二、格式与写法文献综述的格式与一般研究性论文的格式有所不同。这是因为研究性的论文注重研究的方法和结果，特别是阳性结果，而文献综述要求向读者介绍与主题有关的详细资料、动态、进展、展望以及对以上方面的评述。因此文献综述的格式相对多样，但总的来说，一般都包含以下四部分：即前言、主题、总结和参考文献。撰写文献综述时可按这四部分拟写提纲，再根据提纲进行撰写。前言部分，主要是说明写作的目的，介绍有关的概念及定义以及综述的范围，扼要说明有关主题的现状或争论焦点，使读者对全文要叙述的问题有一个初步的轮廓。主题部分，是综述的主体，其写法多样，没有固定的格式。可按
16、年代顺序综述，也可按不同的问题进行综述，还可按不同的观点进行比较综述，不管用那一种格式综述，都要将所搜集到的文献资料归纳、整理及分析比较，阐明有关主题的历史背景、现状和发展方向，以及对这些问题的评述，主题部分应特别注意代表性强、具有科学性和创造性的文献引用和评述。总结部分，与研究性论文的小结有些类似，将全文主题进行扼要总结，对所综述的主题，有研究经验的作者，最好能提出自己的见解。参考文献虽然放在文末，但却是文献综述的重要组成部分。因为它不仅表示对被引用文献作者的尊重及引用文献的依据，而且为读者深入探讨有关问题提供了文献查找线索。因此，应认真对待。参考文献的编排应条目清楚，查找方便，内容准确无误
17、。注意事项由于文献综述的特点，致使它的写作既不同于?读书笔记?读书报告?，也不同于一般的科研论文。因此，在撰写文献综述时应注意以下几个问题：、搜集文献应尽量全。掌握全面、大量的文献资料是写好综述的前提，否则，随便搜集一点资料就动手撰写是不可能写出好的综述的，甚至写出的文章根本不成为综述。、注意引用文献的代表性、可靠性和科学性。在搜集到的文献中可能出现观点雷同，有的文献在可靠性及科学性方面存在着差异，因此在引用文献时应注意选用代表性、可靠性和科学性较好的文献。名师资料总结-精品资料欢迎下载-名师精心整理-第 4 页，共 15 页 -、引用文献要忠实文献内容。由于文献综述有作者自己的评论分析，因此
18、在撰写时应分清作者的观点和文献的内容，不能篡改文献的内容。、参考文献不能省略。有的科研论文可以将参考文献省略，但文献综述绝对不能省略，而且应是文中引用过的，能反映主题全貌的并且是作者直接阅读过的文献资料。第四部分综述的基本写作要求文献综述特征 1.一般字数控制在4000-6000 字左右；2.以评述为主，不可罗列文献；3.基本格式通常包括题目、作者、摘要、关键词、前言、正文、结语和参考文献等几个部分；4.中文参考15-20 篇，英文参考20 篇左右，文献要新，50-80 最好为3 年内的文献。5.如果文献综述是为开题报告作准备，整篇文章建议为漏斗状结构，即?有什么研究进展，问题是什么，怎么找方
19、向?。第五部分综述的写作技巧 1 题目 1.1 如果文章为结果论文标题格式 a）effect of（因素）on（观测项目）in（研究对象）progress b）（观测对象）in（研究对象）progress c）无固定格式 1.2 如果文章为方法论文标题格式 d）methods for,progress 2 摘要常用句型篇二：文献综述报告-范文论文文献综述论文题目：中学教学数学审美能力的培养班级：数学 102 班姓名：黄强学号：1020151211 目 录 1 前言 2 数学美学研究现状 2.1近十年来数学美学研究分成两个时期 2.2研究简况 2.3主要研究成果 3、数学美学的研究发展方向 3.
20、1对数学美本质的进一步探索 3.2数学美学科学体系的建立和形成 3.3数学美学思想史的研究 3.4对数学美追求的方法论意义的研究 4 小结 5 参考文献 1.前言信息技术的飞速发展和网络技术的全面应用，将世界带入了一个计算机和网络深入千家万户的信息时代。随着网络应用的迅速发展，信息安全的问题日益重要。信息安全不但关系国家的政治安全、经济安全、军事安全、社会稳定，也关系到社会中每一个人的数字化生存的质量。由于系统的设计缺陷、网络协议的脆弱性，以及人为因素造成的各种漏洞，都可能名师资料总结-精品资料欢迎下载-名师精心整理-第 5 页，共 15 页 -被攻击者加以利用进行网络攻击。信息安全问题已经成
21、为全球性问题，没有信息安全，就没有真正的政治经济的安全。信息革命是否得以保障决定了信息革命给人类带来的高效率和高效益是否真正实现。西方发达国家十分重视信息安全，美国多年来一直将信息安全技术列为国防重点项目，并已形成庞大的信息安全产业。欧洲、日本、加拿大、澳大利亚和以色列等国也在信息安全领域投入巨资，拥有相当规模的信息安全产业。信息安全涵盖了很多的方面，比如操作系统安全，数据库安全，网络安全等等。当前，以 internet 为代表的国际互联网的热潮正在向社会的每一个角落渗，因此网络安全成为目前人们关注的一个热点。网络安全主要有两个方面的内容：密码算法和密码协议。密码协议又称为安全协议。它们构成了
22、网络安全体系的两个层次：密码算法为网络上传递的消息提供高强度的加密解密操作和其他辅助算法，而密码协议则在这些算法的基础上为各种网络安全性方面的需求提供实现方案。安全协议是基于密码算法的更高一层的算法，它为有安全需求的各方提供了一个步骤序列，以使它们能够安全地完成实体之间的认证、在实体之间安全地分配密钥或其他各种秘密、确认发送和接收的消息的非否认性等。网络安全不能单纯依靠安全的密码算法。安全协议是网络安全的一个重要组成部分。近年来，安全协议越来越多地用于保护因特网上传送的各种交易。网络协议的安全性分析和验证是当今计算机安全领域的热点和重大课题。经验告诉我们，设计和分析一个正确的安全协议是一项十分
23、困难的任务。即使我们只讨论安全协议中最基本的认证协议，其中参加协议的主体只有两三个，交换的消息只有35条，设计一个正确的、符合认证目标的、没有冗余的认证协议也很不容易12。许多安全 协 议 在 提 出 之 初 被 认 为 是 足 够 安 全 的，然 而 在 一 段 时 间 内 被 证 明 有 漏 洞。如：needham-schroeder3协议是最为著名的早期的认证协议，该协议可分为对称密码体制和非对称密码体制下的两种版本，分别简称为nssk 协议和 nspk 协议。从1978 年 nspk 协议问世以来，到lowe 于 1996 年发现 nspk 协议的安全缺陷，已经过去了大约l7 年之久。
24、安全协议设计的困难性和安全协议分析的微妙性，由此可见一斑。这些漏洞严重的威胁了网络安全。目前越来越多的安全协议不断地涌现，伴随着相应协议的漏洞也会不断产生。因此对协议进行安全分析找出协议漏洞并修改相应协议成为当前的热点也是难点。安全协议的分析设计方法大概可分为形式化和非形式化两种方法。非形式化的方法根据已知的各种攻击方法来对协议进行攻击，以攻击是否有效来检验密码协议是否安全，是早期的密码协议安全分析所采用形式。长期以来，密码学专家一直依赖经验性的指导原则来设计密码协议，但事实表明非形式化的设计方法很容易忽略掉一些微妙的直觉难以发现的漏洞。这种方法只是停留于发现协议中是否存在已知的缺陷，而不能全
25、面客观地分析密码协议。因此在密码协议的分析过程中引入形式化方法就成为必然。2.安全协议及安全协议形式化分析领域研究现状 2.1 安全协议发展的20 年 1、从 1978年 needham-schroeder协议的诞生算起，安全协议的发展已经历经20余年了。除了nssk 协议和nspk 协议之外，早期著名的经典安全协议还有otway-rees协议 4、yahalom 协议 5、大嘴青蛙协议5 等，以及一些重要的实用协议，如keberos协议 6、ccittx。509 协议 7 等。2、1983 年，dolev 和 yao 发表了安全协议发展史上的一篇重要的论文8。该论文的主要贡献有两点。第一点是
26、将安全协议本身与安全协议所具体采用的密码系统分开，在假定密码系统是“完善”的基础上讨论安全协议本身的正确性、安全性、冗余性等课题。从此，学者们可以专心研究安全协议的内在安全性质了。亦即，问题很清楚地被划分为两个不同的层次：首先研究安全协议本身的安全性质，然后讨论实现层次的具体细节，包括所采用的具体密码算法等等。第2 点贡献是，dolev 和 yao 建立了攻击者模型。他们认为，攻击者的知识名师资料总结-精品资料欢迎下载-名师精心整理-第 6 页，共 15 页 -和能力不能够低估，攻击者可以控制整个通信网络。dolev 和 yao 认为攻击者具有如下能力：(1)可以窃听所有经过网络的消息；(2)
27、可以阻止和截获所有经过网络的消息；(3)可以存储所获得或自身创造的消息；(4)可以根据存储的消息伪造消息，并发送该消息；(5)可以作为合法的主体参与协议的运行。dolev和 yao 的工作具有深远的影响。迄今为止，大部分有关安全协议的研究工作都遵循 dolev 和 yao 的基本思想。3、1990 年，boyd9 通过实例指出，如果应用序列密码，则在nssk 协议中，密文消息4 与 5 之间的差别只有1个比特，协议极易受到攻击。4、1993 年，van oorschot10给出了关于认证协议的6 种不同形式的认证目标：ping认证、实体认证、安全密钥建立、密钥确认、密钥新鲜性、互相信任共享密钥
28、。5、1996 年，gollmann11正式提出讨论认证协议的目标 6、1997 年，clark和 jacob12对安全协议进行了概括和总结，列举了一系列有研究意义和实用价值的安全协议。他们将安全协议进行如下分类：(1)无可信第三方的对称密钥协议。属于这一类的典型协议包括以下iso 系列协议 13：iso对称密钥一遍单边认证协议、iso 对称密钥二遍单边认证协议、iso 对称密钥二遍相互认证协议、iso 对称密钥三遍相互认证协议、andrew 安全 rpc 协议等 14。(2)应用密码校验函数(ccf)的认证协议。属于这一类的典型协议包括以下iso 系列协议 15：iso 应用 ccf的一遍单
29、边认证协议、iso 应用 ccf 的二遍单边认证协议、iso 应用 ccf 的二遍相互认证协议、iso 应用 ccf 的三遍相互认证协议。(3)具有可信第三方的对称密钥协议3。属于这一类的典型协议包括nssk 协议、otway-rees协议、yahalom 协议、大嘴青蛙协议、denning-sacco16协议、woo-lam 协议等。(4)对称密钥重复认证协议。属于这一类的典型协议有 kerberos协议版本5、neuman-stubblebine协议 17、kao-chow 重复认证协议18 等。(5)无可信第三方的公开密钥协议。属于这一类的典型协议包括以下iso 系列协议 16：iso公
30、开密钥一遍单边认证协议、iso 公开密钥二遍单边认证协议、iso 公开密钥二遍相互认证协议、iso 公开密钥三遍相互认证协议、iso公开密钥二遍并行相互认证协议、diffie-hellman17协议等。(6)具有可信第三方的公开密钥协议属于这一类的典型协议有nspk 协议 3 等。7、1996 年，lowe21先采用 csp(通信顺序进程)方法和模型校验技术对安全协议进行形式化分析。他应用 csp 模型和 csp 模型校验工具fdr 分析 nspk 协议，并令人惊讶地发现了一个近 l7 年来未知的攻击。8、lowe 的论文发表不久，roscoe22对 csp 和 fdr的组合作了进一步的研究。
31、他们认为，csp+fdr是形式化分析安全协议的一条新途径。模型校验技术是验证有限状态系统的自动化分析技术，是一种安全协议的自动验证工具。lowe 等学者应用csp 方法的成功，促进了这一领域的发展。schneider发表了一系列关于csp 方法应用的论文，应用csp 方法讨论安全协议的安全性质、匿名等问题；分析了各种安全协议，例如nspk 协议、非否认协议等。9、美国卡内基.梅隆大学以clarke教授为首的研究小组，长期从事定理证明和自动校验的研究。他们提出了一种通用的模型校验器，构造了一种新型的模型及其代数理论，并证明了该模型的有效性。marrero，clarke和 jha23应用该方法对n
32、spk 协议进行分析。得到了与 lowe 相同的结论 21。mitchell24的方法是通过状态计数工具murphi 分析安全协议，从安全协议可能到达的状态，分析安全协议是否安全。他应用 murphi 分析了一系列著名的安全协议，成功地发现了所有己知的攻击。名师资料总结-精品资料欢迎下载-名师精心整理-第 7 页，共 15 页 -10、thayer，herzog 和 guttman25-27提出了串空间(strand space)模型，这是一种结合定理证明和协议迹的混合方法。事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。11、perrig和 song28 等人对串空间模
33、型进行了重要的扩展，将其增强和优化，并将串空间模型推广到分析三方安全协议。song 应用串空间模型，研制出安全协议自动检验工具a 曲 ena。athena 结合定理证明和模型校验技术，证明从一些初始状态开始，进行回退搜索。初始状态是满足某种安全属性的。2.2 安全协议形式化分析的历史与现状网络环境被视为是不安全的，网络中的攻击者可以获取、修改和删除网上信息，并可控制网上用户，因此网络协议是易受攻击的。而协议形式化分析长期以来被视为分析协议安全性的有效工具。最早提出对安全协议进行形式化分析思想的是needham和 schroeder3，他们提出了为进行共享和公钥认证的认证服务器系统的实现建立安全
34、协议，这些安全协议引发了安全协议领域的许多重要问题的研究。1981 年 denning&sacco 在文献 16 中指出了ns 私钥协议的一个错误，使得人们开始关注安全协议分析这一领域的研究。真正在这一领域首先做出工作的是dolev 和 yao8，紧随其后，dolev，even 和 karp 在 20 世纪七八十年代开发了一系列的多项式时间算法，用于对一些协议的安全性进行分析。dolev 和 yao 所作的工 作 是 十 分 重 要 的。此 后 的 协 议 形 式 化 分 析 模 型 大 多 基 于 此 或 此 模 型 的 变 体。如interrogator、nrl协议分析器和long
35、ley-rigby工具。在此基础上发展起来的大多数形式化分析工具都采用了状态探测技术，即定义一个状态空间，对其探测已确定是否存在一条路经对应于攻击者的一次成功的攻击。有些工具中用到了归纳定理推证技术，如在nrl协议分析其中运用此技术证明搜索的空间规模已经可以确保安全性。在形式化分析技术出现的早期阶段，它已成功地发现了协议中不为人工分析所发现的 缺 陷 等。如nrl协 议分 析 器 发 现 了simmons selective broadcast协议 的 缺 陷，longley-rigby工具发现了banking 协议的缺陷等。尽管如此，直到1989 年，burrows、abadi 和 need
36、ham提出了 ban 逻辑之后才打破了形式化分析技术这一领域的神秘感，并从此逐步引起人们广泛的关注。ban 逻辑采用了与状态探测技术完全不同的方法，它是关于主体拥有的知识与信仰以及用于从已有信仰推知新的信仰的推理规则的逻辑。这种逻辑通过对认证协议的运行进行形式化分析，来研究认证双方通过相互发送和接受消息从最初的信仰逐渐发展到协议运行最终要达到的目的认证双方的最终 信 仰。ban逻 辑 的 规 则 十 分 简 洁 和 直 观，因 此 易 于 使 用。ban 逻 辑 成 功 地 对needham-schroeder协议、kerberos协议等几个著名的协议进行了分析，找到了其中已知的和未知的漏洞。
37、ban 逻辑的成功极大的激发了密码研究者对安全协议形式化分析的兴趣，并导致许多安全协议形式化方法的产生。但 ban 逻辑还有许多不足，出现这样的尴尬局面：当逻辑发现协议中的错误时，每个人都相信那确实是有问题；但当逻辑证明一个协议是安全的时，却没人敢相信它的正确性。3.形式化方法的概述安全协议的分析设计方法大概可分为形式化和非形式化两种方法。非形式化的方法我们篇三：文献综述模板(超强整合)文献综述模板（超强整合）文献综述（论文标题，小二号，黑体，居中）姓名摘要：内容?（“摘要：”两个字要求是黑体小四，顶格写；摘要的内容要求是楷体小四。字数要求200-300.）名师资料总结-精品资料欢迎下载-名师
38、精心整理-第 8 页，共 15 页 -关键词：；（关键词要顶格写，有3-5 个，格式要求黑体小四，词与词间用分号隔开）正文（要求：正文的标题是宋体小四，要加粗，顶格写；正文内容是首行空两格，字体小四，不加粗；标题之间的标号统一，汉字如：一、前言说明写作目的意义介绍有关的概念提供必要的背景材料描述课题的研究现状有关主题争论的焦点及发展趋势（核心主题）交待综述讨论的范围（引用文献起止年份学科范围）二、正文理论发展阶段性成果理论意义实践意义成熟可靠新近的权威可信百花齐放百家争鸣（一）历史发展：采用纵向对比的方法，要按时间顺序，简要说明某一课题的提出及各历史阶段的发展状况，体现各阶段的研究水平，说明目
39、前达到的水平。（二）现状分析：介绍国外研究现状、国内研究现状，对比研究差距，来阐述国内研究与国外研究相比还有哪些空白点没有涉及，找到未来发展趋势，提出自己的想法和观点：首先将整理和归纳出来的资料进行排列和必要的分析；其次讲解有创造性和发展前途的理论或假说，并引出论据；第三介绍有争议的相关专家观点或学说，对其进行分析比较，指出各种的发展趋势和问题焦点，并提出自己的观点；第四，简要的介绍陈旧、过时的或被否定的观点，这样使文章更系统全面，而且这些资料也可以起到对比反衬的作用。（三）趋向预测：在纵横对比中肯定所综述课题的研究水平、存在问题和不同意见、提出展望性意见。这一部分主要是给读者以启示，使从事这
40、一课题的工作者能看到未来课题研究的发展方向。这部分的内容要客观，不仅要指明方向，而且要指出捷径，为有志于攀登新高峰者指明方向，搭梯铺路。三、总结与展望高度概括主题内容提出观点意见主张展望发展前景简明扼要地指出目前研究中尚需解决的问题及研究成果的意义和价值，在写作中应注意给出一个较为明确的阶段性结论。一篇好的综述总结，可以发人深思，具有导向意义。四、致谢参考文献(格式要求：黑体小四)1作者,作者.文献名称 j.期刊名称，年份，卷号，起止页码.（宋体五号）2?（宋体五号）3?（宋体五号）?（宋体五号）注意：红色字体为格式要求（附录：学术论文参考文献的著录格式：1.专著：序号 作者.书名 m.版本(
41、第 1 版不著录).出版地:出版者,出版年.起止页码.名师资料总结-精品资料欢迎下载-名师精心整理-第 9 页，共 15 页 -2.期刊:序号 作者.题名 j.刊名,年,卷(期):起止页码.3.会议论文集（或汇编）:序号 作者.题名 a.编者.论文集名 c.出版地:出版者,出版年.起止页码.4.学位论文:序号 作者.题名 d.学位授予地址：学位授予单位，年份.5.专利:序号 专利申请者.专利题名 p.专利国别（或地区）:专利号,出版日期.6.科技报告:序号 著者.报告题名 r.编号，出版地：出版者，出版年.起止页码.7.标准:序号 标准编号，标准名称s.颁布日期.8.报纸文章 :序号 作者.题
42、名 n.报纸名，年-月-日（版次）.9.电子文献:序号 主要责任者.电子文献题名 电子文献及载体类型标识.电子文献的出处或可获得地址，发表或更新日期/引用日期(任选).10.各种未定义类型的文献:序号 主要责任者.文献题名 z.出版地：出版者，出版年.）步骤阅读文献摘要-结论（研究方法创新点建议）-浏览全文（结论性的图标想法矛盾点空白点）分析比较表格 1-2 文献综述的基本结构作用内容一般写作模式写作要求引言可以使读者初步了解文章的轮廓（为什么研究）说明写作意义；阐述研究现状、焦点问题与趋势；交待文献的写作思路。第一步：引出课题；第二步：评述与总结各研究成果的争论热点，进而阐述自己观点；第三步
43、：引出文章结构。开宗明义；简练、直接的揭开主题；交待文章的范围与结构。主体核心与躯干部分各阶段的研究进展、研究成果、研究方法、以及各种异同与优缺点、作者的评价与观点等纵向模式；横向模式；国际国内横览纵横结合模式；切勿对文献简单的堆砌；评述时要实事求是。结论综述内容的总结简明扼要地指出目前研究中尚需解决的问题及研究成果的意义和价值。参考文献作者撰写综述的依据，表示对被引证学者的劳动尊重，提供寻找有关原始文献的线索所引用的相关文献按文献第一作者的姓氏字母顺序；按文中引用先后顺序；按文献年代顺序；按主题词分类排列。目前多采用。名师资料总结-精品资料欢迎下载-名师精心整理-第 10 页，共 15 页
44、-内容要新：5 年内参考文献量至少不低于50%数量：引用不超过2530 条篇四：文献综述该怎么写(有范例)文献综述该怎么写？文献综述写作技巧何为文献综述？文献综述是在对文献进行阅读、选择、比较、分类、分析和综合的基础上，研究者用自己的语言对某一问题的研究状况进行综合叙述的情报研究成果。文献的搜集、整理、分析都为文献综述的撰写奠定了基础。文献综述怎么写呢？文献综述格式一般包括：文献综述的引言：包括撰写文献综述的原因、意义、文献的范围、正文的标题及基本内容提要；文献综述的正文：是文献综述的主要内容，包括某一课题研究的历史(寻求研究问题的发展历程)、现状、基本内容 (寻求认识的进步)，研究方法的分析
45、(寻求研究方法的借鉴)，已解决的问题和尚存的问题，重点、详尽地阐述对当前的影响及发展趋势，这样不但可以使研究者确定研究方向，而且便于他人了解该课题研究的起点和切入点，是在他人研究的基础上有所创新；文献综述的结论：文献研究的结论，概括指出自己对该课题的研究意见，存在的不同意见和有待解决的问题等；文献综述的附录：列出参考文献，说明文献综述所依据的资料，增加综述的可信度，便于读者进一步检索。文献综述不应是对已有文献的重复、罗列和一般性介绍，而应是对以往研究的优点、不足和贡献的批判性分析与评论。因此，文献综述应包括综合提炼和分析评论双重含义。文献综述范文1：“问题探索交流”小学数学教学模式的研究 .我
46、们在网上浏览了数百种教学模式，下载了二百余篇有关教学模式的文章，研读了五十余篇。概括起来，我国的课堂教学模式可分三类：(1)传统教学模式“教师中心论”。这类教学模式的主要理论根据是行为主义学习理论，是我国长期以来学校教学的主流模式。它的优点是.，它的缺陷是.(2)现代教学模式“学生中心论”。这类教学模式的主要理论依据是建构主义学习理论，主张从教学思想、教学设计、教学方法以及教学管理等方面均以学生为中心，20 世纪 90年代以来，随着信息技术在教学中的应用，得到迅速发展。它的优点是.，它的缺陷是.(3)优势互补教学模式“主导主体论”。这类教学模式是以教师为主导，以学生为主体，兼取行为主义和建构主
47、义学习理论之长并弃其之短，是对“教师中心论”和“学生中心论”的扬弃。“主导主体论”教学模式体现了辩证唯物主义认识论，但在教学实践中还没有行之有效的可以操作的教学方法和模式。以教师为中心的传统小学数学教学模式可表述为“复习导入传授新知总结归纳巩固练习布置作业”。这种教学模式无疑束缚了学生学习主体作用的发挥。当今较为先进的小学数学教学模式可表述为“创设情境，提出问题讨论问题，提出方案交流方案，解决问题模拟练习，运用问题归纳总结，完善认识”。这种教学模式力求重视教师的主导作用和学生的主体作用，为广大教师所接受，并在教学实践中加以运用。但这种教学模式将学生的学习局限于课堂，学习方式是为数学而数学，没有
48、把数学和生活结合起来，没有把学生学习数学置于广阔的生活时空中去，学生多角度多途径运用数学知识解决问题的能力受到限制，尤其是学生运用数学知识创造性地解决生活中的数学问题的能力发展受到限制，不利于培养学生的创新精神和实践能力。为此，我们提出“问题探索名师资料总结-精品资料欢迎下载-名师精心整理-第 11 页，共 15 页 -交流小学数学教学模式研究”课题。文献综述范文1 中，研究者对有关研究领域的情况有一个全面、系统的认识和了解，对相关文献作了批判性的分析与评论。对于正在从事某一项课题的研究者来说，查阅文献资料有助于他们从整体上把握自己研究领域的发展历史与现状、已取得的主要研究成果、存在争议的地方
49、、研究的最新方向和趋势、被研究者忽视的领域、对进一步研究工作的建议等。文献综述范文2：农村中学学生自学方法研究 1.国外的研究现状国外的自学方法很多。美国心理学家斯金纳提出程序学习法.，程序学习使学习变得相对容易，有利于学生自学。美国心理学家桑代克所创设的试误学习法.，它主要解决学习中的问题。还有超级学习法，查、问、读、记、复习法、暗示法等。2.国内的研究状况我国古代就非常重视自学方法的研究，有“温故而知新”，“学而时习之”.，我国现代教育家叶圣陶先生主张培养学生的自学能力.，中国科学院心理研究所卢仲衡同志首先提出“自学辅导教学法”.,这种方法的主要优点在于.,魏书生的语文教学主张通过提高学生
50、学习的自觉性来提高学习效率.以上国内外的研究经验为我们的课题研究提供了宝贵的经验。从文献综述范文2 看，该课题综述列举了国内外有代表性的专家、学者关于自学方法方面的论述和做法，并对部分内容的优点进行了概述。在选好了大的研究方向后，在确定具体的研究课题之前，通过查阅大量文献资料，了解有关研究情况，有助于研究者通过比较、分析，根据研究的可行性、研究者的兴趣和能力等方面限定研究内容，确定课题的研究范围，更好地驾驭和把握课题。但是，文献综述对每位专家、学者所持理论和做法的优点与不足所进行的批判性分析与评论不够，特别是缺少对国内外研究现状的综合提炼与分析。二、文献综述要文字简洁，尽量避免大量引用原文，要