导读:本文包含了文档验证论文开题报告文献综述及选题提纲参考文献，主要关键词:XML,Schema,XML,文档验证算法,语法错误
文档验证论文文献综述
吴家菊,纪斌,刘振吉,陈泉根[1]（2019）在《基于XML Schema XML文档验证算法》一文中研究指出文中研究XML文档的验证机制,提出一种基于XML Schema验证XML文档的算法。该算法将数据语法规则、约束要求及类型要求等采用XML Schema进行描述,既能够基于XML Schema验证XML文档语法的正确性,又提供语法错误的处理机制并支持错误位置追踪。当XML文档存在语法错误时,该算法将错误信息按照错误发生顺序依次输出。通过对错误信息的处理,该算法可以通过鼠标点击错误信息追踪语法错误发生位置。因而数据编辑人员可以高效地对XML文档做出修改,提高了工作效率。为验证该算法的正确性,将该算法集成到某XML编辑器中,并通过实验验证。经过一系列的试验验证,该算法达到了设计要求。(本文来源于《现代电子技术》期刊2019年04期）
张苗,惠小强[2]（2015）在《一种快速的XML文档验证算法》一文中研究指出在用XML(e Xtensible Markup Language)Schema校验来判断XML文档合法性的过程中,目前LIBXML2所采用的逐层遍历校验法对3层及以下嵌套效率低下,对多于3层嵌套的校验法失效。针对这一问题,文中提出一种新算法,可有效避免逐层遍历法验证的缺陷。先计算XML文档中某待验证元素出现的次数,然后把该次数分解为XSD(XML Schema Definition)文档中所定义的该元素允许出现次数区间内整数的线性组合,计算出所有线性组合中系数和的最小值和最大值。若计算出的系数和范围与XSD文档定义的范围有交集,则验证通过,否则不通过。利用所提算法,对多嵌套和max Occurs较大的XML文档,验证效率可提高两个数量级。(本文来源于《计算机技术与发展》期刊2015年08期）
王甜甜,陈帆,和红杰[3]（2013）在《关键字符双重验证的Word文档脆弱水印方法》一文中研究指出为提高文档水印方法的篡改检测性能和安全性,设计一种关键字符双重验证的Word文档脆弱水印方法。首先记录文档中的关键字符和非关键字符,将每个字符生成的8比特水印信息嵌入自身字符的特殊属性里以抵抗一般篡改;为提高检测关键字符篡改的能力,将关键字符生成的8比特水印信息作为第二重水印信息嵌入到非关键字符的其它特殊属性里以抵抗拼贴攻击,从而实现对关键字符的双重验证;通过统计实验,讨论了水印嵌入在字符特殊属性中对文档大小的影响。实验结果表明,在字符的特殊属性中嵌入水印能增加含水印文档的安全性,在非关键字符中嵌入双重水印能提高算法的篡改检测性能。(本文来源于《光电子.激光》期刊2013年04期）
郑梁须[4]（2013）在《基于BPEL文档验证的Web服务组合入侵检测技术研究》一文中研究指出SOA普遍使用Web服务作为其实现技术，但Web服务面临着许多安全问题，IBM和Microsoft等公司共同制定的WS-Security规范提供了机密性、完整性和身份认证叁个方面的安全，但这并不能完全保证Web服务的安全性。此外，由于单一的Web服务所能提供的功能有限，因此通常将功能单一的Web服务组合成新的服务，为用户提供更全面的功能，BPEL由于受工业界主流服务及技术提供商的推崇，迅速成为Web服务组合事实上的标准。由于恶意用户可能窜改BPEL文档并按照其非法目的对Web服务重新组合，因此，从BPEL文档验证的角度研究Web服务组合的安全性具有重要的意义。BPEL文档描述了Web服务组合业务流程的形式规范和业务之间的交互协议，指定了流程的步骤以及流程的入口点，因此BPEL文档是Web服务组合的关键。BPEL文档描述了业务流程中涉及的各方，而各方之间的交互依照抽象的WSDL接口，文中通过分析BPEL文档的控制流图一方面抽取出服务编排过程中涉及的所有操作，另一方面抽取出BPEL文档中通过结构性活动所表示的逻辑关系以及操作之间的传递的参数，接着以Web服务编排中涉及的所有操作为结点，根据操作之间的调用关系构造有向边，并将操作间传递的参数作为有向边的权值构造有向无环图，然后按照提出的算法将BPEL文档中的结构性活动转换为And、Or、Repeatable结点并插入有向无环图用于控制其并列、选择和循环结构，这样得到一个新的有向无环图，称为操作请求图。将操作请求图作为异常检测模型的“活动简档”，如果用户执行业务流程的过程不符合操作请求图的要求，则判定该用户行为非法。同时，异常检测的方式具有速度快、漏报率低的优点，正符合大批量网络用户行为检测的要求。这种方法约束用户按照BPEL编排执行业务流程，阻止了恶意用户通过修改BPEL文档达到其非法目的的入侵行为，保证了Web服务组合的安全性。通过对入侵检测模型的功能性测试，该方法能有效地规范用户按照BPEL文档的编排执行业务流程，从而保障了Web服务组合的安全性。(本文来源于《南京邮电大学》期刊2013-02-26）
李东明,李宁,梁琦[5]（2010）在《文档格式的语义验证》一文中研究指出在分析叁种主流文档格式标准(ODF,OOXML,UOF)的基础上,指出了文档的验证除了语法验证之外,更重要和更困难的是要对文档格式的语义进行验证。对文档格式中常见的语义错误进行了较为系统的分类,提出了一种对标文通格式的文档进行语义验证的方法,并设计了一种文档格式验证器,以实现对标文通格式的文档进行语义验证。(本文来源于《北京信息科技大学学报(自然科学版)》期刊2010年S2期）
王霜[6]（2010）在《基于Schema文档的XML文档验证系统的设计》一文中研究指出XML(Extensible Markup Language),即可扩展标记语言。为保证文档的有效性,任何应用程序在执行关于XML数据的计算和转换之前,必须对XML文档进行验证。在完成对待验证的XML文档的封闭性检测之后,对XML文档和其相对应的Schema文档的数据结构进行检测,判断一下它们的树结构是否完全同构。再利用DOM技术读取Schema文档树和XML文档树的各节点,判断XML文档树各节点是否符合与之相对应的Schema文档各节点所定义的规则。具体来说,包括:类型定义部件,组部件,属性组部件。该系统可以顺利地检测待验证的XML文档,基于Schema文档规则,在满足封闭性和同构性的前提下,可以判断并指出XML文档的错误信息,并对其进行定位。(本文来源于《沈阳师范大学学报(自然科学版)》期刊2010年02期）
樊超,朱战立[7]（2008）在《用C~#.Net验证电子文档的完整性》一文中研究指出随着信息化的普及,企业的信息传递越来越多地采用电子的方式,办公效率得到很大的提高,企业的竞争力也得到提升,与此同时,电子文档的安全性也成为企业考虑的重点,网络环境下文件的真实性、不可否认性、不可篡改性等信息安全隐患,已成为各类应用系统所必须要解决的问题。阐述了如何使用C#.Net工具,结合MD5算法对文档的完整性进行验证。(本文来源于《软件导刊》期刊2008年11期）
崔铭常[8]（2008）在《采用指纹验证技术的电子文档保护方法研究及其系统设计》一文中研究指出信息技术产业的发展带动了电子信息量的急速膨胀,电子文档的保护也成为全球关注的问题。生物特征识别技术是利用人体固有生理或行为特征进行个人身份鉴别的技术,具有极强的防伪性,因此在电子信息安全中的地位日益重要。在电子文档保护中使用生物特征识别技术进行权限验证,也被公认为电子文档保护的最优方案。但为了提高文档在合法前提下共享的便利性,不得不把作为解密密钥的生物特征模板以某种形式整合到文档内部,这形成了很大的破解风险。寻找更严密的电子文档保护方法,也成为电子信息安全领域中极具挑战性的课题。本文设计了一种基于指纹身份验证技术和移动密钥的电子文档保护方法。该方法在操作系统和文件两个层面上为电子文档提供保护服务。在执行身份验证时,该方法不但要求用户提供指纹作为验证依据,而且要求用户提供与本人身份相符的移动密钥。仅在移动密钥、指纹、验证信息叁方同时吻合时才允许用户进入系统或进行文档的加解密操作。本文论证了一种用于电子文档保护系统的安全架构和数据分布方案。通过建立特征容器和引入联合审查机制,实现了系统各种安全元素的分散存储和耦合使用,在保证使用便利性的前提下提高了系统的整体安全性。本文论证了一种移动密钥管理方案,该方案实现了单个移动密钥的多人使用,并通过权限制衡策略合理地许可或禁止各用户拥有的管理权限。本文给出了这种保护方法在WindowsXP平台上的软件实现。指纹传感器和移动密钥组成的移动设备组同时具备指纹输入和模板存储功能,并具有USB通讯能力。在此基础上,保护系统以登录管理程序和文档加解密程序的形式,分别实现了指纹验证登录和本地文档加解密功能。(本文来源于《清华大学》期刊2008-11-01）
潘晓东[9]（2007）在《PDF文档的生成与原始性验证研究》一文中研究指出PDF格式文件目前已成为数字化信息事实上的一个工业标准,它的跨媒体、跨平台、安全性使其在网络中应用越来越广泛,对其研究显得日益重要。如何生成PDF文件在国内研究的较少,本文探讨了PDF文件的生成方法,详细介绍了PDF文件格式,PDF文件的特点及应用,通过一个PDF文件实例分析了其组成结构:通过实验说明如何利用开源软件iTextSharp生成PDF文件。在实际使用PDF文件的过程中,如何防止PDF文件被篡改也是一个非常重要的研究课题,本文我们可以在PDF文件上加一个标记,如果这个标记的值发生了变化就说明这个文档被篡改过了,而这个文件就不是最原始的文件了。本文通过利用MD5值对PDF文档进行原始性验证,MD5值最大的特点就是对一个文件所取的MD5码总是唯一的,文件如果被改动,其MD5码也会发生变化,这样我们只要核对PDF文件的MD5码就可以证明所使用的PDF文件是否是真实的、原始的。具体方法有两种,一种是对发布的PDF文件计算其MD5值,然后直接将MD5码也随同PDF文件一同发布,这样其它用户在得到PDF文件的时候可以通过计算其MD5码来确认文档的真实性。随着PDF文件发布的增多,需要建立一个网站和数据库专门发布和存放PDF文件及MD5码,这样实现起来还是很容易的。第二种是借用数字水印的思路,我们可以将这个MD5写到文件的一个隐藏区,一般二进制文件格式都有文件头和文件体部分、文件尾叁个部分,而文件头、尾是用户看不到的,一般也会预留一部分字节用于以后扩展,或可以在文件头写入特殊标记的数据。通过对前面PDF文件格式的分析,将这个md5写在文件尾。然后对PDF文件流计算MD5值,然后将该文件流和MD5值一起写到硬盘上,形成一个添加了MD5值的PDF文件。文件可以正常打开和使用,而且别人也不会看到添加的这个MD5值。通过实验观察了在不同环境下操作PDF文件对其MD5码的影响。通过实验得出结论:利用开源软件iTtextSharp可以很方便生成PDF文件,也能很好地支持中文。利用MD5码可以验证一个PDF文件的原始性和真实性,而PDF文件只要不改变其本身,它的MD5码在实验中列出的操作环境下都不会改变。在此基础上提出了如何使用本文方法的策略,所以本文对我国使用PDF文件降低办公成本是有实际意义的。(本文来源于《西北师范大学》期刊2007-11-24）
姚雷,唐亚哲,杨宇彬,赵铭[10]（2007）在《基于Xerces2-java的多XML文档关联验证》一文中研究指出XML通过DTD或Schema定义文法。XML解析器根据预定义的文法对XML文档进行验证。但如果应用程序需要处理多个XML文档,并且这些文档之间存在引用,在应用程序中验证这些引用就非常困难。论文针对多XML文档关联验证,提出了一种通用的基于Xerces2-java的多XML文档关联验证机制,该机制通过扩展Xerces2-java现有的组件,在原有的解析过程中增加了关联验证的逻辑,给应用程序提供了方便、灵活的调用接口。实验表明,该机制能够完成XML文档的关联验证,较好地解决了多XML文档关联验证问题。(本文来源于《计算机工程与应用》期刊2007年05期）
文档验证论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在用XML(e Xtensible Markup Language)Schema校验来判断XML文档合法性的过程中,目前LIBXML2所采用的逐层遍历校验法对3层及以下嵌套效率低下,对多于3层嵌套的校验法失效。针对这一问题,文中提出一种新算法,可有效避免逐层遍历法验证的缺陷。先计算XML文档中某待验证元素出现的次数,然后把该次数分解为XSD(XML Schema Definition)文档中所定义的该元素允许出现次数区间内整数的线性组合,计算出所有线性组合中系数和的最小值和最大值。若计算出的系数和范围与XSD文档定义的范围有交集,则验证通过,否则不通过。利用所提算法,对多嵌套和max Occurs较大的XML文档,验证效率可提高两个数量级。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
文档验证论文参考文献
[1].吴家菊,纪斌,刘振吉,陈泉根.基于XMLSchemaXML文档验证算法[J].现代电子技术.2019
[2].张苗,惠小强.一种快速的XML文档验证算法[J].计算机技术与发展.2015
[3].王甜甜,陈帆,和红杰.关键字符双重验证的Word文档脆弱水印方法[J].光电子.激光.2013
[4].郑梁须.基于BPEL文档验证的Web服务组合入侵检测技术研究[D].南京邮电大学.2013
[5].李东明,李宁,梁琦.文档格式的语义验证[J].北京信息科技大学学报(自然科学版).2010
[6].王霜.基于Schema文档的XML文档验证系统的设计[J].沈阳师范大学学报(自然科学版).2010
[7].樊超,朱战立.用C~#.Net验证电子文档的完整性[J].软件导刊.2008
[8].崔铭常.采用指纹验证技术的电子文档保护方法研究及其系统设计[D].清华大学.2008
[9].潘晓东.PDF文档的生成与原始性验证研究[D].西北师范大学.2007
[10].姚雷,唐亚哲,杨宇彬,赵铭.基于Xerces2-java的多XML文档关联验证[J].计算机工程与应用.2007