论文部分内容阅读
设计了一种数字取证的完整性方案,该方案使用SHA算法生成取证信息的摘要值,将摘要值和本地系统时间作为取证信息的验证数据,采用秘密共享机制将验证数据进行秘密分割,从而使方案除了可以完成完整性验证,也具有容错性。
一种数字取证完整性方案
【摘 要】
：
设计了一种数字取证的完整性方案,该方案使用SHA算法生成取证信息的摘要值,将摘要值和本地系统时间作为取证信息的验证数据,采用秘密共享机制将验证数据进行秘密分割,从而使方案除了可以完成完整性验证,也具有容错性。
【机 构】
：
解放军信息工程大学电子技术学院
【出 处】
：
计算机应用研究
【发表日期】
：
2007年12期
其他文献
将模糊神经网络与自适应控制相结合,设计出一种能对水轮机调节系统进行有效控制的基于模糊神经网络的自适应PID控制算法。对改进后的调节系统特性进行测试和仿真,并与常规的水轮机进行比较,验证了模糊神经网络控制方案的可行性。仿真结果表明,该算法实现了调节系统的在线自适应调整,更精确反映调节系统的动态变化过程。与其他方法相比,该算法具有更快的响应速度和更好的控制效果。
设计和实现了天文星表数据访问网格服务,基于网格服务实现对分布异构天文星表的一致访问,并且对数据访问结果进行处理和VOTable格式封装。基于网格服务的标准性和抽象性,能够为天文数据提供一种灵活、动态和一致的共享机制。
并行机仿真需要描述并行机互联网络拓扑结构。提出了通用的面向并行机静态互联网络拓扑结构的描述语言TOD(TOpology Description),为仿真系统提供了有力的拓扑结构描述工具。TOD以图的运算为基础,通过基础运算、扩展运算和带条件的运算可以简便地描述主流的并行机拓扑结构,基本运算的使用保证了TOD能够描述任意结构。
随着W eb资源的日益丰富,人们需要跨语言的知识共享和信息检索。一个多语言Ontology可以用来刻画不同语言相关领域的知识,克服不同文化和不同语言带来的障碍。对现有的构建多语言Ontology方法进行分析和比较,提出一种基于核心概念集的多语言Ontology的构建方法,用一个独立于特定语言的Ontology以及来自不同自然语言的定义和词汇的同义词集来描述相关领域的概念。用该方法构建的Ontolo
首先从企业成本控制角度阐述了控制工序成本对于企业成本控制的重要性并说明了工序成本控制中存在的问题;在此基础上引入统一的本体建模理论探讨了本体在工序成本控制中的应用,并采用形式化的一阶逻辑建立了工序成本控制本体模型。由于本体建模本身的优势,将有利于模型重用和工序成本核算及控制方法的知识共享。
对基于Petri网的建模对象进行分析,并提出将具有强大的图形建模、可视化操作和空间数据分析功能的GIS技术应用到工作流建模之中,建立一个基于空间对象的工作流建模与模型检验的可视化建模系统,为解决传统建模软件开发中的关键问题提出了一种新的解决方案。
提出了一种改进的十字—菱形搜索(ICDS)算法,给出了在搜索的初始阶段使用小十字搜索模型对小的运动矢量搜索并在相继的搜索过程中使用具有方向性的菱形搜索模型对大运动矢量进行搜索的步聚。介绍了该算法的实现结构,并分析了该算法搜索性能。
介绍了空间域和频率域图像配准原理,在总结已有成果的基础上,对几种典型的算法进行了分析和比较,最后给出了超分辨率图像配准方法的发展方向。
基于TD-SCDMA(time division synchronous code division multiple access)网络提出一个新的体系结构,在不同的环境和不同的定位精度需求下使用不同的定位方法,从而通过移动终端实现无处不在的定位服务。
在IETF基于策略的网络管理体系中,设备端(PEP)的策略配置是通过策略决策点(PDP)的自动分发机制来实现的。对于大规模网络管理系统,PDP的策略分发效率是制约系统整体性能的瓶颈。基于此,提出了一种自适应增量策略处理机(APIP)的数学模型和实现方案,根据PEP在策略库的策略映射集合的变化情况,自动实现策略的增量分发。经实践证明,该系统能够有效减小策略传输数据量,缩短策略请求排队时延,提高策略分