共查询到20条相似文献,搜索用时 105 毫秒
1.
2.
3.
文中对可信计算环境进行分析,提出了可信计算环境的公理系统。在综合研究了生物科学中的进化理论后给出了可信计算环境的进化方式:提出了基于用进废退的信任输入模型、基于人的选择的信任收敛模型、基于点断平衡论的信任模型;实现了基于进化理论的可信计算环境。仿真结果表明,可信计算环境的进化为可信计算的发展提供了理论依据,可以使可信计算环境适应变化的输入,并且收敛其信任值,对所有用户进行公正处理,进而高效率低代价就可以构建可信计算环境。 相似文献
4.
可信计算成为信息安全领域的一个热点研究方向,由于不同可信平台模块中使用的密码算法不同,导致了可信计算平台的异构。本文简要介绍了可信计算平台,提出了利用可信计算软件栈实现异构可信平台在应用上的兼容,同时主要研究了支持异构可信平台的可信计算软件栈。 相似文献
5.
6.
可信计算的研究与发展 总被引:2,自引:0,他引:2
可信计算(Trusted Computing)是在计算和通信系统中广泛使用基于硬件安全模块支持下的可信计算平台,以提高系统整体的安全性。文章通过分析可信计算的发展过程和相关基本概念以及可信计算在我国的发展现状,指出了我国可信计算发展中存在的一些问题,最后提出了通过制定我国标准、提高企业、用户意识和结合网络技术发展的建议来发展我国的可信计算。 相似文献
7.
为了增强系统核心文件检测的安全机制,提出了可信计算平台对系统保障资源的保密性、完整性和可用性。分析了Vista操作系统可信计算模块的结构和组织关系的基础,并给出了典型可信计算平台的总体结构。对该体系中的主要功能模块进行分析,其中重点以可信计算平台模块(TPM)为对象,详细阐述了可信计算平台模块(TPM)的内部结构和对系统安全性的支持。通过对可信计算内部安全属性的分析,验证了可信计算平台的安全性保障,表明了一套完整、可靠的信任传递机制,是实现这一安全特性的基础。 相似文献
8.
9.
10.
11.
XU Shiyi 《计算机科学技术学报》1999,14(2):116-128
With the rapid development and wide applications of computing systems on which more reliance has been put,a dependable system will be much more important than ever.This paper is first aimed at giving informal but precise definitions characterizing the various attributes o dependability of computing systems an then th importance of (and the relationships among)all te the attributes are explained.Dependability is first introduced as a blobal concept which subsumes the usual atributes of reliability,availability,maintainability,safety and sevurity.The basic definitions given here are then commended and supplemented by detailed material and additional explanations in the subsequent sections. The presentation has been structured as follows so as to attract the reader‘s attention to the important attributions of dependability.Search for a few number of concise concepts enabling the dependability attributes to be expressed as clearly as possible.Use of terms which are identical or as close as possible to those commonly used nowadays.This paper is also intended to provoke people‘s interest in designing a dependable computing system. 相似文献
12.
Casper Bruun Jensen 《Computer Supported Cooperative Work (CSCW)》2006,15(5-6):419-441
This paper discusses a research project in which social scientists were involved both as analysts and supporters during a
pilot with a new wireless nursing call system. The case thus exemplifies an attempt to participate in developing dependable
health care systems and offers insight into the challenges of developing and supporting such systems. The analysis proposes
that while dependability is not simply a technical issue, neither is it something, which can be improved merely by adding
a social dimension. Instead, it argues that dependability is a relative concept, which may mean different things conditional
on how it is specified in practice and who gets to do this. This relativity makes it important to relate the question of how
to support dependable health care systems to an analysis of both the politics of technology within specific projects and to
the politics of discourse, through which the researcher becomes involved in such projects. 相似文献
13.
Shichen ZOU Junyu LIN Huiqiang WANG Hongwu LV Guangsheng FENG 《Frontiers of Computer Science》2019,13(2):264
Distributed virtualization changes the pattern of building software systems. However, it brings some problems on dependability assurance owing to the complex social relationships and interactions between service components. The best way to solve the problems in a distributed virtualized environment is dependable service components selection. Dependable service components selection can be modeled as finding a dependable service path, which is a multiconstrained optimal path problem. In this paper, a service components selection method that searches for the dependable service path in a distributed virtualized environment is proposed from the perspective of dependability assurance. The concept of Quality of Dependability is introduced to describe and constrain software system dependability during dynamic composition. Then, we model the dependable service components selection as a multiconstrained optimal path problem, and apply the Adaptive Bonus-Penalty Microcanonical Annealing algorithm to find the optimal dependable service path. The experimental results show that the proposed algorithm has high search success rate and quick converges. 相似文献
14.
随着计算机软、硬件技术的不断进步和应用需求的日益增长,以计算机为中心的计算系统的应用范围越来越广,其复杂程度也在迅速提高,人们对如何评估和提高计算系统的可信赖性的需求日益迫切.首先给出了计算系统的可信赖性的定义,并系统地定义了一整套量化评价指标;同时,对计算系统面临的各种可信赖性威胁进行了详细的归类分析.传统的方法难以应对复杂系统面临的各种可信赖性问题,人们仍在不断地寻求新的技术.虚拟化技术在这种应用背景下走向复兴,成为一大研究热点.介绍了已有的虚拟化技术在增强系统可信赖性上相关的研究成果,并且总结了虚拟化技术在增强系统可信赖性方面的各种特性和机制.然而由于现有的计算系统体系结构的限制,难以将虚拟化技术在增强系统可信赖性方面的优势充分地发挥出来.面向服务的体系结构(service oriented architecture,简称SOA)以其松散耦合、平台无关性等特点很好地适应了虚拟化技术的需求.因此,最后将SOA 和虚拟化技术相结合,提出了一种增强计算系统可信赖性的系统架构,即面向服务的虚拟化SOV(service oriented virtualization),并且分析了SOV 系统如何在遭受各种可信赖性威胁时,运用体系结构优势和虚拟化技术的各种机制保证系统可信赖性. 相似文献
15.
David Martin Mark Hartswood Roger Slack Alex Voss 《Computer Supported Cooperative Work (CSCW)》2006,15(5-6):467-499
This paper presents two case studies, which highlight the practical work involved in developing and deploying dependable healthcare
systems. It shows how dependability is a thoroughgoingly practical, contexted achievement. We show how dependability is an outcome of the reasoning and argumentation processes that stakeholders engage
in, in situations such as design and testing. What becomes relevant during these interactions stands as the dependability
criteria that must be achieved. Furthermore, we examine the way in which different dependability criteria need to be managed,
and even relatively prioritised, before finally discussing the types of work this provokes at the boundaries of organisations,
particularly when integrating work and technologies. 相似文献
16.
保障和增强系统的可靠性、安全性和稳定性等可信性质是对系统服务的高级要求。提出了一个基于自律计算理念的系统可信性自调节模型,该模型动态分析目标系统的可信度变化趋势,参考先验可信度变化曲线的梯度升降,依序实现可信度在线评估、可信度动态预测和自调节方案选择,完成系统可信度非降的自主调节过程,采用信赖域梯度计算策略解决自调节的最优化问题。 相似文献
17.
随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系.采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分析的基础上给出了机群系统的可信赖性参数,并对模型进行了仿真分析.仿真结果表明,在对关键系统前端分配器给予修复保证后,系统模型的稳态可用性将大大提高. 相似文献
18.
19.