论文部分内容阅读
通过分析自动信任协商系统中的行为抽象,形式化定义了协商模式。基于扩展的一阶时态逻辑给出了自动信任协商系统的抽象模型,分析了模型的语法和语义,为实现自动信任协商系统提供了有效的工具。
基于时态逻辑的自动信任协商模型
【摘 要】
：
通过分析自动信任协商系统中的行为抽象,形式化定义了协商模式。基于扩展的一阶时态逻辑给出了自动信任协商系统的抽象模型,分析了模型的语法和语义,为实现自动信任协商系统提供了有效的工具。
【机 构】
：
华中科技大学计算机学院信息安全实验室
【出 处】
：
计算机应用研究
【发表日期】
：
2007年11期
【基金项目】
：
国家自然科学基金资助项目（60403027）
其他文献
介绍了一种异构环境下的并行调试及性能分析工具ParaVT的设计方法和实现。通过对并行程序源代码的分析处理,利用自动插桩模板插入用于调试和性能分析的用户代码,从而对并行程序进行断点调试和性能参数收集,达到进一步优化程序设计的目的。
气田信息整合旨在实现自治、分布、异构数据源的信息共享与交换,为用户提供统一的全局数据视图。讨论了企业信息整合系统的一般模式;根据气田信息中历史数据、实时数据、静态数据的不同应用特点,提出了一种基于虚拟数据中心的气田信息整合平台体系结构,给出了气田信息整合平台的实现技术。考虑到系统性能和灵活性,该平台引入数据缓冲机制,采用多种数据交换策略,以XML作为数据交换和元数据表示的标准。
提出“金字塔”式网络传输模型,将图像按质量分成不同等级,根据用户网络速度发送不同等级的图像,使不同带宽用户最大程度上同步获取到图像。实验证明,该分级模型使不同带宽的用户获取图像时间都在几百个毫秒左右,解决了各用户由于网络速度不同或网络速度不稳定而造成获取图像不同步的问题。
基于嵌套分组秘密共享方案设计了一种新的(t,n)门限签名方案。该方案生成有效签名的t个成员不具有任意性,而是分别来自系统中不同群组的成员,他们能代表整个系统为某个消息生成有效的群签名,只要有一组成员不参与,就无法生成有效的群签名;群中任意t个或多于t个成员合谋无法获得任何系统参数,也不能假冒其他组生成有效的群签名。
从政务信息资源交换内容、安全、模式以及机制的实际要求出发,提出政务信息资源交换的统一平台基本概念,并给出该统一平台物理架构与逻辑架构的建设构想。
构造并生成了B样条曲面以产生给定型值点的复杂零件。以参数线加工为主要方法详细研究了该零件的加工轨迹、刀心轨迹以及切削数据的生成等;采用OpenGL技术对整个加工过程进行仿真实现,获得了一个较好的加工代码生成及轨迹验证工具。
由于现行的优化算法在解决模具车间调度问题上存在局限性,目前大部分模具车间由人工编制车间作业计划,导致生产效率较低、物料供应不能同步化等问题。为此,介绍了采用基于组合规则的启发式算法,选择加工时间最短和最小等待时间等规则,解决了现行的优化调度算法在车间调度问题中所遇到的难点。经实例验证获得了较为理想的结果。
设计并实现了一个联动防火墙的网络入侵检测系统Guarder,采用高效的串匹配算法对入侵检测引擎进行优化;通过联动模块实现了Guarder与状态包过滤防火墙的联动。Guarder提供了一个远程管理工具,从而为远程控制提供了便利。
介绍了基于物理运动学算法的预测技术以及基于Cubic Splines算法的平滑处理技术,并给出了Dead Reckoning在网络游戏中应用的具体算法以及该算法的相应实例。
针对当前广泛应用的ext3文件系统对超过一定长度的目录进行索引操作时,其性能明显下降的现象,首先对其原因进行了分析,提出一种基于hash技术的ext3目录索引问题的解决方案,并在此基础上给出了实现代码。通过几种测试平台所获得的实验数据证明了该hash技术对解决ext3性能瓶颈的有效性。