【摘 要】
：
提出一种基于行为时序逻辑的入侵取证的形式化方法,其描述语言能够准确描述入侵证据、系统知识以及攻击行为,并具有在部分数据缺失的情况下进行非确定性推理的能力;其自动验证工具能够寻求额外的证据并可检查是否有可能的攻击与这些证据相符。实例研究表明,这种方法不依赖于具体的攻击技术和操作系统,不惧证据的缺失,能够有效搜寻更多的证据并重建可能的攻击场景。
论文部分内容阅读
提出一种基于行为时序逻辑的入侵取证的形式化方法,其描述语言能够准确描述入侵证据、系统知识以及攻击行为,并具有在部分数据缺失的情况下进行非确定性推理的能力;其自动验证工具能够寻求额外的证据并可检查是否有可能的攻击与这些证据相符。实例研究表明,这种方法不依赖于具体的攻击技术和操作系统,不惧证据的缺失,能够有效搜寻更多的证据并重建可能的攻击场景。
其他文献
法治对于营造社会主义和谐社会起到保障作用,主要是通过立法、司法、守法和法律援助来实现的。
基于分数阶Fourier变换和混沌,提出了一种数字图像加密方法。具体算法为:先对图像进行混沌置乱,再进行X方向的离散分数阶Fourier变换;然后在分数阶Fourier域内作混沌置乱,再进行Y方向的离散分数阶Fourier变换;最后将加密图像的实部与虚部映射到RGB,形成可传输的彩色加密图像。实验结果表明,该加密算法具有很好的安全性,在信息安全领域有较好的应用前景和研究价值。
通过对数据网格模型及任务调度过程进行分析,归纳了数据网格任务调度流程,定义了数据网格的任务执行时间和执行花费。对网格模拟器GridSim进行扩展,增加了数据网格任务调度的模拟功能,介绍了扩展后的模拟器体系结构、工作流程和关键技术。通过实验表明,该任务调度模拟器可以满足数据网格优化理论研究的需要,能够对任务调度策略的性能进行比较。
车辆视频测速中常常需要标定摄像机安装高度、视场角、倾斜角等参数,而其中倾斜角的确定与更新一般采用人工方式,限制了视频测速系统的应用。针对此问题,提出了一种自适应的摄像机倾斜角标定方法,利用连续观测图像序列建立超定线性方程组,并采用最小二乘法进行求解,最后经过闭环反馈调节,可以实时得出摄像机倾斜角。实验结果表明,该方法测量较为准确,避免了传统人工测量和维护的不便,具有较好的实用性。
详细分析了服务选择问题及其求解目标,综合服务提供方高效率低成本和终端用户方的服务质量(QoS)等目标约束条件,提出一种多目标约束的最优服务选择遗传算法。该算法采用矩阵描述服务提供方、服务、终端用户三者之间的关系,并采用矩阵编码方式,将矩阵视为染色体个体,将矩阵的列视为染色体基因。仿真实验结果表明,该算法具有较好的收敛性和稳定的寻优能力。
基于面向对象方法为带标志构件的现代汉语复句子类(有标复句)建立本体模型,奠定中文信息处理复句层级的研究基础。在原有成果的基础上,利用关系标志与分句间的联系对标志构件进行句法分析,并在本体构造方法框架的指导下,用UML语言构造有标复句领域相关概念的本体模型。与已有成果相比,改进的模型能更精确、更深入地描写有标复句的特征。
针对目前基于CICQ(combined input and crosspoint queuing)支持组播的调度策略在公平性和实时性能保障方面存在的不足,提出了一种简单、高效的支持组播公平服务的分层平滑轮询调度算法——mFGSR(multi-cast fair service and group smoothed round robin)。mFGSR依据组播业务流的权重进行分组和平滑调度,具有良好
提出了一种在领域本体指导下对网页进行语义标注的方法。该方法利用编辑距离和Google距离从词语的语法和语义两方面综合度量词汇与本体概念之间的语义相关度,从而在网页与本体之间建立映射关系。此外,对网页进行语义标注后,利用标注结果对本体进行有效扩充,使本体更趋于领域化。实验结果表明该方法是行之有效的。
提出了基于结果类型分组的XML(extensible markup language,可扩展标志语言)关键字查询算法。采用熵值赋权法确定结果类型,继而对XML文档节点虚拟分组,并在虚拟组的基础上给出了相应的查询算法,不仅确保了结果信息的完整,避免了丢失某些有意义结果和返回无意义结果的现象。实验结果表明,所提出算法与SLCA、MLCEA相比,在查询质量、效率及稳定性上有一定提高。
提出一种新的空闲状态检测方法,以训练集中各类运动想象样本的类内散度和正确检测率为指标,结合接收机曲线确定分类阈值,设计最佳三分类器,并采用模糊化技术对预测标签进行处理。将该方法应用于2005年BCI竞赛数据IVc,测试的均方误差为0.278 7。实验结果验证了该方法的有效性。