排序方式: 共有19条查询结果,搜索用时 0 毫秒
1.
软件能力可信研究综述 总被引:1,自引:0,他引:1
能力可信是可信计算研究领域中的重要研究内容,它要求系统的功能是可信赖的,如今,系统的开发方式,系统规模、应用模式已发生巨大变化,这使得获得功能的可信赖性的任务更具挑战性,首先综述能力可信的概念、内涵等,详细介绍了能力可信的性能指标,从缺陷分析、可靠性模型、恢复技术三个方面讨论了能力可信的研究现状、和存在问题,最后对能力可信的未来发展趋势进行了探讨. 相似文献
2.
3.
4.
服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题。提出一种从用户设计界面有向图到服务过程表达式的生成算法。同时,文中还研究了如何用μ演算描述流程性质,并使用验证工具研究了流程正确性验证问题。 相似文献
5.
为了实现基于企业服务总线(ESB)的企业服务集成应用(EAI),提出一种基于ESB的业务流程管理系统的设计方法.定义了业务流程的概念,提出在ESB下实现流程管理的方法,同时,研究并给出了业务流程监控的方案.目前,该系统已经在国家基金项目中得到了应用.实际应用表明,所研究的相关系统灵活,可靠,并具有实用价值. 相似文献
6.
7.
ESB环境中基于代理的可信服务模型 总被引:1,自引:0,他引:1
针对ESB环境下安全隐患的特定需求,提出了基于代理的可信服务模型.模型在ESB的节点上部署一个可信服务模型的代理,采用位运算计算服务的信任度,整合最可信的服务运行流程.在符合ESB规范以及不影响性能的前提下,可以提高系统运行的稳定性和安全性.在SynchroESB平台上的应用,证明该模型的可行性、正确性和健壮性. 相似文献
8.
基于USBKEY安全认证的互联网物配系统 总被引:1,自引:0,他引:1
针对商业机构物配敏感信息交流安全性的要求,该文提出了一种基于USBKEY安全认证的互联网物配系统。该系统利用USBKEY完成身份认证,用USBKEY内置的加密算法和密钥完成对物配资料的加解密、签名,会话密钥的传递,本地文件的加密隐藏等。整个系统安全性高、独立性强、开发成本较低。 相似文献
9.
针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求,结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展,提出一种可用于对系统行为及可信特征进行建模的进程代数,称之为QPi.QPi将可信特征附加于进程动作,在描述系统行为的同时体现出其可信特征.进一步引入互相似距离的概念以考察2个进程在多大程度上是能够互相模拟的,并研究了QPi与之相关的若干性质.具体的实例描述说明了该代数方法的有效性. 相似文献
10.
远程管理技术是现在及将来的一个技术热点,它可以方便维护人员在一定程度上对设备进行远程管理,有效地节约成本.针对实际要求,本文设计并实现了一个结合SNMP技术的远程管理系统,在C#下实现并通过. 相似文献