trusted and high dependabilty

原创 2007年09月26日 16:32:00
高可信计算”通常指“High Dependability Computing”,主要关注可靠性。与目前热门的可信计算(Trusted Computing)有所不同,有研究者认为它是可信计算的早期阶段。
 
参考1:周明天. 可信计算及其进展 电子科技大学学报, 2006.8
2000年12月11日美国卡内基梅隆大学与美国国家宇航总署(NASA)的Ames研究中心为主成立了高可信计算联盟(High Dependability Computing Consortium),包括Adobe、康柏、惠普、IBM、微软、Sybase、SUN在内的12家信息产业公司,麻省理工学院、乔治亚理工学院和华盛顿大学等都加入了该联盟[24]。成立大会由卡内基梅隆大学校长和Ames研究中心主任主持,并决定在宇航总署的加州硅谷研究园设立卡内基梅隆大学分校园,对高可信性计算进行基础研究、实验研究和工程研究,力图使计算机系统的建造和维护成为像土木工程、医学一样的学科。
值得注意的是,在容错计算领域,可信性被定义为计算机系统的一种性质,它所提供的服务是用户可感知的一种行为,并可以论证其可信赖[22,25],而用户则是能与之互动的另一个系统(人或者物理的系统)。因为“可靠(Dependability)”而“可信”,因此容错计算又称为“可靠计算”(Dependable Computing)。容错计算领域的可信性包括可用性、可靠性、可维护性、安全性、健壮性和可测试性等。
 
参考2:为保重要计算系统安全 12家IT公司成立协会 http://www.ccw.com.cn/htm/news1/net/safe/01_1_4_8.asp
12家IT公司与NASA及卡内基·梅隆大学日前联合成立一个计算协会,名为High Dependability Computing Consortium,它以开发高度可靠和价格适中的软件系统为目标。成立这个协会的目的是根除重要的计算系统中的故障,如在执行太空任务时以及在国防、医疗保健、电子商务等领域中所使用的计算系统都属于这类重要系统,因为它们对人类安全和生活安康至关重要。这12家IT公司为Adobe、Compaq、HP、IBM、ILOG、Marimba、Microsoft、Novell、SGI、Siebel、Sybase和Sun。
 
参考3 高可信计算 中国计算机学会青年计算机科技论坛 http://www.yocsef.org.cn/mcti/showNews.jsp?newsId=100720000082
高可信计算技术旨在保证和提高计算机系统的可信性,预防或减少软硬件失效的发生,是计算机领域核心技术之一。计算机系统可信性问题同时也是一个重大科学问题,是对人类智力的挑战,迄今为止,无任何实用软件系统从数学角度被证明是正确的。高可信计算是未来信息技术发展中必须解决的重大问题之一。大量实例表明,计算机系统可信性问题可能带来严重后果,因此,可信的计算机系统是我国经济建设、社会发展和国防安全中不可缺乏的基础性构件。
本次报告会主要就高可信计算中核心问题-高可信软件的相关问题进行探讨,涉及如下关键技术:软件可靠性工程,主要包括软件可靠性工程的研究发展动态和面临的若干难题;高可信软件研制的形式化方法,主要介绍形式化方法的基本思想、方法、工具和典型应用;软件开发和运行中软件的高可信性质保证技术,主要讨论高可信对软件理论和技术提出的严峻挑战,以及主要采用的对策。
 

No trusted certificate found解决方案

1.求No trusted certificate found解决方案 Copy to clipboard Posted by: zijingshanke Posted on: 2009...
  • wang1144
  • wang1144
  • 2013年03月05日 09:40
  • 6874

mac Firefox 出现"no trusted dialers "

今天我用火狐打开博客的时候,没有加载成功而是出现了"no trusted dialers ",开始不明原因,后来浏览了一些资料,发现mac Firefox 出现"no trusted dialers ...
  • u011374880
  • u011374880
  • 2017年11月29日 14:11
  • 12596

支付宝接口集成部署到WebSphere6.1.0.21证书认证No trusted certificate found解决方案

公司近来向客户开通了支付宝渠道以进行支付。我部门负责集成支付宝的接口到公司的应用中。在本地开发环境为Tomcat5+ 与JDK1.5+,一切很顺利。但打包部署到测试环境WebSphere6.1.0.2...
  • chengshangqian
  • chengshangqian
  • 2013年01月09日 13:12
  • 1718

关于 No trusted certificate found 异常

碰到了一个 No trusted certificate found 异常,Google了一下有不少解决方案。摘录几个比较好的链接。希望有一些帮助。http://saloon.javaranch.co...
  • georgejin
  • georgejin
  • 2008年03月31日 20:40
  • 5290

Winbond Trusted Platform Module 1.2 驱动安装解决办法详解

本人新买的ThinkPad 2784A33电脑在自己安装XP后,设备中的Winbond Trusted Platform Module 1.2前面出现黄叹号,提示该设备未正确安装驱动。历经多次努力,终...
  • duxikuan
  • duxikuan
  • 2016年01月28日 11:20
  • 2241

ARM Trusted Firmware - Trusted Board Boot Design Guide

1. Introduction Trusted Board Boot(TBB)可以防止恶意Firmware在平台上运行,方法是通过一级级的认证所有的firmware镜像,直到normal bootl...
  • kickxxx
  • kickxxx
  • 2017年01月03日 20:59
  • 1557

登网页unable to get a connectionNo dialers left to try on pass 0

将lantern关掉,就好了 因为这个属于翻墙软件,网站管理者不允许这个软件的使用!...
  • qq_22122811
  • qq_22122811
  • 2016年10月06日 00:05
  • 4287

ARM trusted firmware - auth framework

1. Introduction 本文的目的是为了描述Trusted Firmware中实现的Authertication framework。这个框架满足如下需求: 为Chain of Trust实...
  • kickxxx
  • kickxxx
  • 2017年01月04日 13:35
  • 1794

lftp出现“Fatal Error: Certificate Verification: Not Trusted”问题解决

登录到你的VPS,编辑/etc/lftp.conf,在文本的最后,加入一行: Shell s...
  • wssxy
  • wssxy
  • 2014年11月11日 17:23
  • 2299

"Not associated with a trusted SQL Server connection"解决方法

    MS SQL Server 2005  Express也是可以设置密码的。     当我们使用用户名和密码访问数据库的时候,可能出现:"Not associated with a truste...
  • spring21st
  • spring21st
  • 2008年09月16日 18:47
  • 2260
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:trusted and high dependabilty
举报原因:
原因补充:

(最多只允许输入30个字)