附加轨道约束的动态双差列车完整性检查方法

列车完整性检查可以有效地避免因列车脱钩造成的追尾事故,保障行车安全.在列车行驶过程中,部分线路卫星视角较差,现有的列车完整性检查方法无法实现实时定位及动态检查.为解决上述问题,提出了一种附加轨道约束的动态双差列车完整性检查方法,通过描绘列车头部行进轨迹的实时拟合曲线,结合轨道特征修正卫星信号的漂移误差;同时,利用动态双差对卫星原始观测数据进行计算,消除观测误差,构建了一种适应性强、精度可控的列车完整性检查方法.进行静态和动态测试验证,实验表明,平均误差分别在0.2m和0.19m左右,证明了本文所提方法的准确性和有效性.     

基于移动智能体的文件完整性检查及其实现

该文提出了基于移动智能体的文件完整性检查的概念和方法,并且实现了一个原型系统。该原型系统能够对网络中各个主机上的文件进行完整性检查。和传统的完整性检查工具相比,该原型系统具有更强的适应性、灵活性和安全性。     

基于CityHash的政务网站完整性检查方法研究

针对现有安全性检查工具应用于政务网站文件完整性检查效率低的问题,提出了UNIX环境下的基于CityHash的文件完整性检查系统并对其架构和模块进行了描述。分析总结了现代哈希CityHash的特点和优势,将其应用到系统中文件哈希值的生成。通过性能测试证明该方法是具有可行性和高效性的,将此系统运用到政府电子政务网站的文件完整性检查中能够迅速发现被篡改的文件,将危害降低到最小。     

云存储威胁模型的伪随机双线性映射完整性检查

在云存储应用中,用户文件不在本地存储,因此文件安全性、数据机密性和鲁棒性是关键问题。首先,针对现有文献提出的多个密钥服务器的安全擦除码存储系统未考虑数据鲁棒性导致数据恢复存在缺陷的问题,利用伪随机双线性映射构建云存储完整性检查策略威胁模型;其次,编制接口文件块结构,并参照相关文献算法进行完整性检查方案设计,实现多密钥服务器安全擦除码存储系统算法功能补充,并给出算法计算复杂度分析;最后,实验结果显示,所提出的完整性检查方案可实现较大的数据成功检索概率。     

EFBS数据交换模型与完整性检查机制

提出一种面向电子飞行包系统(EFBS)的数据交换模型。该模型采用星型逻辑结构进行数据传输,以XML格式通过数据交换组件实现其他子系统与中央内容管理单元的数据交换,介绍数据完整性检查机制,确保数据交换的安全性,其中,发送方通过DSA算法生成数字签名,并运用SHA-1算法获得文本摘要,接收方通过数字签名验证对交换数据进行完整性检查。实验结果验证了该检查机制的有 效性。     

入侵检测系统中文件完整性检查的研究

1 引言随着计算机技术特别是网络技术的发展,开放的互连的计算机系统为通信和资源共享提供了便利,但随之而来的是更多的系统安全问题。系统的安全是一个体系,建立在各种安全机制集成的基础上,入侵检测系统(Intrusion DetectionSystem,简称IDS)作为系统安全的一道重要防线,主要是通过多种手段监控系统来发现入侵。文件完整性检查是IDS中的关键部分之一,它通过检查系统关键资源的变化情况来为入侵的发现提供依据。然而目前这方面软件的检查方式并不     

基于地址完整性检查的函数指针攻击检测

针对传统函数指针攻击检测技术无法检测面向返回编程(ROP)攻击的问题,提出了一种基于跳转地址完整性检查的新方法,在二进制代码层面能够检测多种类型的函数指针攻击。首先,通过静态分析得到函数地址信息,然后动态检查跳转目标地址是否位于合法函数区间。分析了非入口点跳转,提出一种动静结合方法检测ROP攻击。基于二进制代码插桩工具实现原型系统fpcheck,对真实攻击和正常程序进行了测试。实验结果表明fpcheck能够检测包括ROP在内的多种函数指针攻击,通过准确的检测策略,误报率显著下降,性能损失相比原始插桩仅升高10%~20%。     

电子文件完整性检测系统的设计与实现

对电子文件完整性检查的方法进行了研究.电子文件完整性检查主要是关注某个文件是否被更改.利用信息摘要函数强有力的加密机制,识别文件发生的微小变化,只要是入侵者成功的攻击导致文件任何改变,都能被电子文件完整性检测系统发现,从而保证了对电子文件的完整性检查.文章介绍了CRC32、MD5、SHA-1算法的C语言实现.     

数据库录入记录完整性检查的实现技术

设计与数据库相关的程序时,实现对数据库记录的添加、删除、更新和查询等操作是不可避免的。考虑到程序的健壮性以及数据库记录的完整性,编写代码让计算机实现录入记录完整性的检查是十分有意义的。     

语义完整性在查询优化中的应用

本文分析了语义完整性 规则在查询优化中的作用，提出了利用完整性规则改写查询，以便为传统查询优化器优化机会的思想。文章给出了查询转换的实现方法，包括约束目标的确定，完整性规则的选择，约束的推理，约束的合并及等价查询的生成等。初步试验表明，采用语义优化的方法是非常有效的。     

基于过滤驱动的文件完整性检测技术

通过哈希算法计算和比较文件的摘要,通过文件过滤驱动方式从操作系统底层实现Windows文件完整性实时监控,使得文件完整性检查功能更加健壮。     

XML结构完整性约束的研究

XML的结构完整性约束用来表示元素之间或路径之间的结构关系,它们在XML查询优化中有着举足轻重的作用。提出了基于元素的结构完整性约束和基于路径的结构完整性约束的概念,定义了排他性包含、必需性包含、路径蕴涵、路径互斥和路径同现的语法和语义,研究了它们的性质以及它们与DTD的关系,在此基础上,给出了将不能用DTD表达的结构完整性约束添加到DTD中的方法。     

XML的结构完整性约束推理

为了有效地优化XML路径表达式查询,给出了一个XML结构完整性约束体系,这个体系全面描述了XML文档中节点或路径之间的结构关系,包括必需性包含、排他性包含、路径蕴涵、路径互斥和路径同现.在此基础上研究了XML结构完整性约束的逻辑蕴涵和一致性问题.文章首先采用约束重写技术将各种约束改写为路径蕴涵约束;然后给出了一组路径蕴涵的推理规则;最后以路径蕴涵闭包为工具证明了推理规则的完备性并给出了XML结构完整性约束的一致性判断方法.     

一个基于策略机制的文件免疫模型FIX及其实现

本文提出一个基于策略机制的文件免疫模型FIX。该模型融合文件完整性检查、系统恢复等技术,根据用户制定的完整性策略,检查文件系统中违反完整性策略的行为,并对文件或目录进行自动恢复,以维持文件系统的完整性。基于该模型,采用一个专用服务器保护多个主机的文件系统,构成了一个基于策略的分布式实时文件免疫系统。本文介绍该模型的形式化描述、体系结构以及实现方法,并分析了系统的安全性和性能。     

基于Windows的文件完整性检测系统的设计和实现

有些计算机病毒和木马一旦进入系统,就会伪装自己,使系统难以觉察。通过对主机文件系统的完整性验证,能有效地拦截系统未 知的病毒和木马。在Windows系统中,使用拦截技术,当可执行程序运行时对其进行拦截,并验证其文件完整性,确保程序未受感染后,才 允许程序执行。利用文件完整性检查防范计算机病毒和木马,具有较好的实时性和主动性。     

基于SQL Server数据库完整性约束的几点探讨

数据库的完整性约束是设计数据库的核心内容,一个数据库的完整性约束设计的好坏,直接影响到这个数据库的性能,同时也会影响数据库的开发,因此一个好的数据库需要严格考虑其完整性约束。本文对SQL Server 2000数据库中的完整性约束进行了探讨,并用T-SQL语句对数据库完整性约束进行了设计,从而实现了在数据库中存储数据的完整性、正确性和一致性。     

主动网络安全结构模型设计

绍了主动网络安全系统的假设模型和威胁模型.基于上述模型和主动网络的安全需要提出了一种安全系统结构模型.该安全模型包括授权、认证、完整性检查和加密等.使用加密和数字签名方法来保护主动网络报文的完整性,使用授权和政策来阻止非法访问以及主动节点的资源请求和行为.     

MD5算法及其在文件系统完整性保护中的应用

MD5算法是一种应用广泛的提取数字指纹的算法.文件系统完整性保护利用MD5算法产生文件或对象的数字指纹以识别它们的微小变化而实施保护.文中详细剖析了MD5算法的工作原理,以及基于MD5算法的文件系统完整性检查程序的原理、设计和实现.     

基于SQL Server数据库完整性约束的几点探讨

数据库的完整性约束是设计数据库的核心内容,一个数据库的完整性约束设计的好坏,直接影响到这个数据库的性能,同时也会影响数据库的开发,因此一个好的数据库需要严格考虑其完整性约束.本文对SQL Server 2000数据库中的完整性约束进行了探讨,并用T-SQL语句对数据库完整性约束进行了设计,从而实现了在数据库中存储数据的完整性、正确性和一致性.     

XML结构完整性约束下的路径表达式的最小化

引入了一个XML结构完整性约束体系.这个体系描述了XML文档中节点或路径之间的5种结构关系,包括路径蕴涵、路径同现、路径互斥、必需性包含和排他性包含.给出了这些结构完整性约束的语法和语义定义,并研究了它们在XML查询优化中的作用.基于子路径的概念,提出了有结构完整性约束的路径表达式的最小化算法.该算法以路径蕴涵闭包为工具,不仅可以删除路径表达式的冗余,还可以识别无效路径表达式.实验结果表明了该算法的正确性和有效性.