基于CPN的BPEL活动协同授权一致性检测机制研究

BPEL访问控制机制是Web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点。通过扩展的CPN(有色Petri网)对BPEL活动协同授权执行的动态行为语义进行建模,利用可覆盖树方法分析协同授权模型状态变迁发生的序列,实现活动协同授权约束一致性的动态检测,为组合Web服务中业务流程协同授权约束设计的一致性提供合理的理论基础。最后,通过实例说明了检测机制的有效性。     

DRM中流媒体认证的研究与实现

结合现阶段网络应用中流媒体认证技术的实际应用情况和新一代数字版权管理（DRM）技术,提出了一个流媒体数字版权认证系统的具体实现方案,并最终实现了基于该方案的流媒体认证系统。该系统为基于网络服务的流媒体DRM系统的最终实现提供了必要的保证。     

内容适配技术研究综述

内容适配技术是实现通用多媒体接入的技术体系。MPEG-21标准提出了内容适配技术框架和服务环境描述技术规范。针对MPEG-21内容适配框架,从内容适配系统、服务环境数据交换、适配决策等方面,介绍国内外相关研究现状。     

汽车行驶过程中的噪音研究

本文先是综述了汽车噪声控制技术领域的最新进展以及发展趋势,并介绍了汽车在行驶过程中噪声的主要来源分布,讲解了声源的识别方法,并提出了降低噪声的控制方法以及改进措施。     

一种数字权利动态跃迁模型研究*

针对目前数字权利难以动态描述的现状,提出了一种基于逻辑推理的数字权利动态跃迁模型。在定义好逻辑推理相关的基本要素后,分析了该跃迁模型的逻辑推理机制以及动态推理过程。最后深入地讨论了该跃迁模型中的各种可能表现形式,并给出了相应的应用模式。     

基于逻辑推理的数字权利动态描述研究*

摘要：使用过程中数字权利的动态描述一直都是DRM应用系统研究的热点。提出一种基于逻辑推理的数字权利动态描述模型,在定义好该模型的基本要素以后,利用逻辑推理工具Prolog深入探讨和分析该模型中数字证书逻辑推理过程,并给出了相应的应用实例。     

高校校园管理信息系统数据共享的设计

在各类管理信息系统的开发过程中,有效实现各部门信息分系统数据共享是成功开发此类系统的关键环节.在分析高校校园管理信息系统的基础上,讨论了高校管理信息系统中信息共享模型,提出了实现信息共享的3种方案,即相同实体对象公共存储、基于对象规范化的共享方式、基于系统互操作框架（EMIF）的信息共享机制,分析了各自的特点和适用性.     

学习资源的权利描述和执行机制的研究

数字权利保护问题在网络教育领域有着十分重要的地位。本文从学习资源中的权利管理问题出发，提出了学习资源的权利描述模型，并结合学习资源的特性设计了权利描述方法。该模型在传统权利描述模型的主体、权利、资源三元组上加入义务和条件因子，结构上设计为一个XML绑定的许可证模型，使其具有可操作性。在模型研究的基础上，进
一步提出了学习资源的权利控制的执行机制，并采用一个基于Web的原型系统对该机制进行了实现。     

基于二维QoS模型的Web服务组合

在实际应用中,单个Web服务通常无法满足复杂应用的需求,如何组合已有的服务,从而提供更强大更完整的商业功能已成为此领域的研究热点。然而现行的SOA架构中,Web服务组合方法中很少考虑Web服务质量（QoS）问题,或者对Qos考虑得不够全面,这样,组合出的服务不能确保能够满足用户的QoS需求。针对这一问题,提出了Web服务的二维QoS模型,并使用了改进的UDDI规范,在此基础上给出了基于QoS的Web服务组合的有色Petri网组合策略。在满足用户组合服务的功能需求的同时,也满足了用户对服务质量QoS的需求,实现了需求服务的优化。     

使用控制模型在RBAC中的应用

使用控制模型是最近提出的新型访问控制模型,它系统全面地定义了现代访问控制模型的范畴和框架.首先对使用控制核心模型的结构和授权策略进行介绍与分析,在此基础上,应用到RBAC中实现了其策略,并给出了使用控制模型在RBAC中应用的具体实例.