公共文化服务平台

共 5 条记录，以下是 1-5

全选清除导出

排序方式：

支持快速构建领域应用系统的业务过程模型研究被引量：1: 2008年; 针对基于业务基础平台快速构建领域应用系统,建立了业务过程模型BPM4DBL(business process modelfor dynamic business logic)。模型中包括活动和规则元素,可以描述领域应用中宏观实体和微观知识结构;给出了模型中元素的构建步骤和原则,并定义了模型向XPDL(XMLprocess definition language)和BPEL4WS(bussinessprocess execution language for Web service)的映射规则,从而支持领域应用系统的快速构建。最后给出了一个具体的应用实例。; 杜栓柱池成忠赵会娟; 关键词：业务过程模型业务基础平台

分离业务规则和过程流的业务过程模型研究被引量：3: 2007年; 针对动态环境中业务逻辑的不断变化,通过业务规则和过程流分别描述业务过程中的易变和相对稳定业务逻辑,构建了业务过程模型BPM4DBL(Business Process Modelfor Dynamic Business Logic)。模型引入了活动、规则和事件元素,定义了分离业务规则和过程流的元组表达,并且给出了业务规则和过程流之间的耦合策略。最后,给出了一个BPM4DBL的具体应用实例。; 杜栓柱池成忠赵会娟; 关键词：业务过程模型

一种基于TPM匿名证书的信任协商方案被引量：1: 2008年; 为促进分布式网络环境中跨安全域的信息共享与协作,需要一种合理有效的信任协商敏感信息保护机制.可信计算组织(Trusted Computing Group,TCG)专注于从计算平台体系结构上增强其安全性.基于可信计算的匿名证书机制提出一种新的信任协商方案:匿名证书信任协商ACTN(anonymous credentials based trusted negotiation),良好地解决了跨安全域的敏感信息保护的问题,可以有效地防止重放攻击、窜改攻击和替换攻击.使用一个硬件模块TPM进行隐私信息保护,并通过TPM模块提供可靠的匿名证书和平台认证.定义了ACTN的模型以及模型中的匿名证书,详细说明了匿名证书的基本参数以及匿名证书的创建方法,讨论了策略的安全性、委托机制以及证书链的发现机制,同时设计了协商节点的框架以及协商过程.通过实验并与Trust Builder和COTN协商系统进行比较,表明系统具有良好的稳定性和可用性.最后指出相关的一些未来研究方向.; 石志国贺也平张宏; 关键词：信息安全自动信任协商可信计算访问控制

一种面向网格计算的分布式匿名协作算法: 2008年; 基于TCG提出的可信计算技术为网格协作安全性提出一种匿名分组身份验证算法,该算法可以非常可靠地解决网格计算平台之间的身份匿名验证问题.算法使用一个硬件模块TPM解决远程的身份验证,并通过TPM机制可以提供可靠的匿名验证和平台认证功能.算法中所有涉及的验证过程都是基于匿名机制实现的,除了实现匿名验证机制以外,算法还提供一套完整标记恶意网络实体的方法.提出了网格计算中虚拟分组的匿名认证平台架构,并在此架构基础上分成5步实现匿名验证算法,然后说明了算法在一种对等计算平台的应用实例,与GT2,GT3,GT4以及信任管理进行安全性的比较,并设计一个实验评价其性能.; 石志国贺也平淮晓永张宏; 关键词：信息安全网格计算

一种适合于电子政务中业务处理的过程模型: 2007年; 目前,电子政务系统一般通过业务过程模型支持电子政务业务处理,而当前已有的业务过程模型在灵活性和安全性方面尚存在不足。为此,提出了一种适合于电子政务中业务处理的过程模型,它将多变的业务规则从过程流中分离出来,通过耦合机制实现业务规则与过程流的结合。该模型简化了过程流的定义,使过程流的变更相对容易,而且可以在不改变过程流的情况下独立、便捷地维护业务规则,确保业务处理的安全性。最后给出了一个使用该模型的电子政务业务处理应用实例。; 刘斌杜栓柱黎巎; 关键词：电子政务业务过程模型

全选清除导出

共1页<1>

国家自然科学基金(60673121)