Loading [MathJax]/jax/output/CommonHTML/config.js
前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >专栏 >可信计算和可信赖计算的渊源

可信计算和可信赖计算的渊源

作者头像
安全乐观主义
发布于 2019-11-20 12:31:58
发布于 2019-11-20 12:31:58
1.5K0
举报
文章被收录于专栏:安全乐观主义安全乐观主义

写在前面

发展历史

微软方面

名词解释文献

专家讲解

引申阅读

写在前面

看到业界在谈论可信计算时,将任何微软做的事情都称为可信计算,其实这里面发展过程很复杂,历史的交叉结合翻译的错误颇有故事,微软做的一些事情和可信计算既有区别又有联系,这里有必要说明一下。按照我很尊敬的某位做可信计算的同事对此的评价:"看那些乱七八糟,东拼西凑,自己造出的词语,会被误导的"。

首先为大家介绍可信计算。按照权威可信计算组TCG(Trusted Computing Group,官网https://trustedcomputinggroup.org/)的定义,"一个实体是可信的,如果它的行为总是以预期的方式达到预期的目标",IEEE给出的定义是"可信是指计算机系统所提供的服务是可以论证其是可信赖的,即不仅计算机系统所提供的服务是可信赖的,而且这种可信赖还是可论证的。"信任是一种哲学关系,在计算机行业讲究科学,目前的困难是计算理论模型发展相对缓慢,安全芯片的标准和功能过于复杂,扩展和兼容性不好。

发展历史

1983年美国国防部制定了世界上第一个《可信计算机系统评价准则》TCSEC(Trusted Computer System Evaluation Criteria)(又称为彩虹系列)。在TCSEC中第一次提出可信计算基TCB(Trusted Computing Base)的概念,并把TCB作为系统安全的基础。彩虹系列(桔皮书)的出现形成了可信计算的一次高潮,多年来彩虹系列一直成为评价计算机系统安全的主要准则,对计算机系统安全有积极的指导意义。

1995年法国Jean-ClaudeLaprie和美国Algirdas Avizienis提出可信计算(dependable computing)的概念,1999年IEEE太平洋沿岸国家容错系统会议改名为 “ 可信计算会议”(PRDC),标志着可信计算又一次成为学术界的研究热点。

2000年12月11日以美国卡内基梅农大学与美国国家宇航局的Ames研究中心牵头,IBM、HP、Intel、微软等著名企业参加,成立了可信计算联盟TCPA,标志着可信计算进入产业界。

2003年TCPA改组为可信计算组织TCG。TCG的成立标志着可信计算技术和应用领域的进一步扩大。目前大多数场景支持可信pc规范v1.2。当然除了PC,当然还有server等,可信的核心是可信平台模块(TPM)芯片,目前已经升级到了TPM2.0,TPM1.X 禁止在中国销售,TPM2.0可以在中国销售。

微软方面

微软用的是Trustworthy computing(可信赖),而没有使用Trusted computing,比尔盖茨的网络安全备忘录指得就是TWC。采用微内核机制建立可信执行环节,为windows平台安全和隐私保护提供技术支撑,给用户建立和提供得到保障的、可靠的计算体验,SDL、威胁建模作为一类工具为此提供帮助。PC架构方面和TCG不同,提出代号为Palladium(守护神)的可信计算计划。Intel对微软的Palladium计划给予支持,宣布了支持Palladium计划的LaGrande硬件技术,并计划推出采用LaGrande技术的新一代奔腾处理器。后来,微软又将这一计划改名为NGSCB(next generation secure computing base),这一计划05年后发展不畅。

微软后来积极响应 TCG 的号召,做了可信计算标准的创新和商业应用的推广,包括在 Windows Vista、Windows 7、8、8.1 和最近发布的 Windows 10 中开发 TPM 功能。

名词解释

TCG: 可信计算组织(https://trustedcomputinggroup.org/)TPM: 可信计算的硬件支持模块。主要功能是验证,密码/证书存储、计算功能。TCB:可信计算基。一个理论名词,其主要功能在TPM中实现。TSS:可信计算软件栈。 一套软件/库。可信计算的管理接口和功能提供接口。

TBS:TPM标准服务,容许windows操作系统和应用使用TPM提供的软件组件,比如BitLocker就是。

TCM,国内叫做可信密码模块(Trusted Cryptography Module),作为中国独立自主的可信计算技术体系和标准,使用原生中国算法兼容符合微软、intel平台。

文献

最后为大家摘录闵应骅教授的《请不要将信任计算混同于可信计算》,原文地址http://blog.sciencenet.cn/blog-290937-247164.html,作者是IEEE Life Fellow,中国科学院计算技术研究所研究员、博士生导师,多次IEEE国际会议主席或程序主席,CCF容错计算终身成就奖获得者。

专家讲解

2009/7/20-22在海拉尔召开的第13届全国容错计算学术会议上,专门举办了一个关于“可信和安全计算的未来”的讨论会,邀请了美国卡内基梅隆大学Daniel P. Siewiorek教授(美国工程院院士,IEEE Fellow, ACM Fellow, AAAS Fellow),法国国家科学院系统结构分析实验室高级研究员Jean Arlat博士, 中国香港中文大学吕荣聪教授(IEEE Fellow, AAAS Fellow)及李晓维、徐拾义、杨孝宗等教授参加了讨论。大家觉得,可信计算和信任计算这两个科技名词无论从概念上、应用上和翻译上都需要加以区别。 可信计算(Dependable Computing) 在1985年召开的国际容错计算会议上,容错计算会议创始人Algirdas Avizienis提出了Dependable Computing的概念。日本人把它翻成可信赖计算,而中文则翻成可信计算。那是24年前的事。2000年IEEE国际容错计算会议在举行了29届以后,与IFIP WG10.4 关键应用的可信计算工作会议(DCCA)合并,改名为IEEE/IFIP国际可信系统与网络会议,每年一届。从2004年起,IEEE出版可信与安全计算汇刊(Transactions on Dependable and Secure Computing),这个刊名明确地把可信计算和安全计算分开。可信计算主要针对元器件、系统、网络在设计、制造、运行、维修全过程中出现的各种非恶意故障;进行故障检测、故障诊断、故障避免、故障容许,使系统能够高可靠、高可用。这是从容错技术发展起来的一个门类的技术领域。在计算机科学内部,应该算理论性比较强的一个分支。所以有人把容错计算归于计算机科学理论范畴。事实上,电子产品在设计、制造、运行、维修过程中都可能产生故障。硬件设计中可能有错误,虽然设计人员想方设法减少故障,但仍难避免。在软件设计中的故障,则更是普遍存在。一般认为,每千行程序有4-5个故障是很正常的。制造过程中可能产生故障,导致成品率一般到80%就很好了。测试过程可能把坏芯片当作好芯片给了用户。国外用拒收率来标志测试质量的好坏,以ppm (parts per million chips)为单位,即每百万芯片中有多少坏芯片被测试误认为是好芯片,而由用户退回。500ppm尚可,100ppm就被认为是高质量的测试了。在运行中,产品由于老化、环境、干扰等原因产生故障,操作员的错误操作也会引起故障。系统维修必不可少,但维修过程中可能引起新的故障。所有这些故障,会使某些单元输出出现差错,进而导致系统失效。这是我们不愿意看到的。可信计算就是要在设计、制造、运行、维修的全过程中检测故障、诊断故障、避免故障、容忍故障,以保证系统在用户有理由信赖的情况下正常运行。 安全计算(Secure Computing)主要针对系统和网络运行过程中可能受到的恶意攻击。这个问题在因特网出来之前,在多用户系统中就已经存在。在银行、旅馆、机场、控制等领域已经受到极大重视。自从因特网普及以后,安全问题显得无比重要了。各国政府、各大公司都投入大量人力物力,关注计算的安全性。 可信计算和安全计算主要的不同就在于他们要对付的故障不同。安全计算主要对付人为的恶意攻击,而可信计算主要对付非恶意产生的故障。 信任计算(Trusted Computing)   2001年皮尔、盖茨在微软启动了Trustworthy Computing的研究。事实上,1999年几十家公司和大学成立了TCPA (Trusted Computing Platform Alliance),2003重组为Trusted Computing Group (TCG),并推出了TPM (Trusted Platform Module) 。2008年中国成立了China Trusted Computing Union (CTCU),报纸上公布叫中国可信计算联盟,推出了TCM (Trusted C Module) 。信任计算的目的是让PC机的计算过程和结果被用户信任、被公司信任,也被国家信任。这就需要在每个终端平台上植入一个信任根(Trusted root),让PC从BIOS到操作系统内核层,再到应用层,都构建信任关系,由此建立一个能在网络上广泛传递的信任链。信任计算要在现有计算机架构上添加安全芯片、硬件模块及相应软件,以构建一个操作系统体系之外的计算机安全平台。从商家来说,它可以检查用户使用的软件是否为合法软件,以确保知识产权。从用户来说,它可以保证自己的文件和资料的安全。对于个人、公司和国家都需要保证信息安全,对于国家就尤其重要。当然,信任计算的结果是否真正是那么值得信任,和社会紧密相连,和管理关系极大。就知识产权来说,用户不用正版软件,公司就不能信任该用户的计算结果,而且侵犯了公司的知识产权。越来越严重的安全形势,因特网上的黑客攻击,各种各样的病毒都使用户提心吊胆,不敢信任自己的计算机和它出现的任何异样。所以,信任计算受到极大关注是理所应当的,而且,我们国内也做了大量卓有成效的工作。所以,国内有媒体说2008年是“中国信任计算元年”,做了许多开创性的工作。 可信计算和信任计算的区别   自从2007年以来,国内把Trusted Computing也翻成可信计算。这样,可信计算和信任计算就被混在一起,都说是可信计算。自此,。就在国内引起了混乱。在科研课题立项、评估、审批等方面造成许多误会。从政府部门的官员,到信息技术的大同行专家学者,如果不了解这两个词的来龙去脉,就很难区别。其实,从字面上说,Trusted Computing并没有“可以”信任的意思,而是“被信任的计算”的意思。按照中文的习惯,可以翻成“信任计算”。就是说,商家和用户都相信“信任计算”的过程和结果。而可信计算是要用理论、实验或证据来说明:在怎样的情况下,计算为什么是可以信赖的。从英文的字面上来说:I trust someone who is not dependable。这是完全可能的。另一方面,I do not trust someone who is really dependable。这种误会也是常有的。举例来说,2008年10月20日起微软在华推出XP系统和Office软件正版验证,盗版XP桌面每小时将变为黑色,被称为“黑屏事件”。这是微软不信任用户用的是它的正版软件,于是设置实时监控,检查用户是否在使用盗版软件,如果是,则“黑幕”。这对公司是对正版的确认,而对用户则是一种不信任的行为。所以,碰了钉子。2009年6月,工信部下文,要求国内新售电脑必须预装一款名为“绿坝-花季护航”的绿色上网软件,目的是防止青少年浏览不良信息。这就是所谓的“绿坝事件”。工信部信任该软件能筛掉不良信息,但用户反应比较大,没几天就发现许多软件漏洞,因而不得不搁浅。这就是工信部信任了一个不可信的软件。这说明,信任的东西应该经过是否可信的论证,才应该去真正信任它。 结语   从上面的分析可以看出,Dependable computing和Trusted computing从概念上、内容上都有很大不同。从字面上看,人们信任一个可信的系统,但也可以信任一个不可信的系统,如果他有什么特殊的需要的话。同样地,人们一般不信任不可信的系统。但是,不排除有人就是不信任一个可信的系统。所以,“可信”和“信任”是有区别的。所以,这次会议大家一致建议:将Dependable computing翻成可信计算,而Trusted computing翻成信任计算,希望不要把信任计算混同于可信计算。 --闵应骅

引申阅读

  • https://blog.csdn.net/piddock/article/details/83470085
  • https://blog.csdn.net/gscsnm/article/details/71436586
  • https://trustedcomputinggroup.org/about/
  • https://zhuanlan.zhihu.com/p/34607082
  • https://zh.coursera.org/lecture/os-virtsecurity/9-11-fang-tan-qing-si-yi-jiao-shou-1-wei-ruan-de-ke-xin-lai-ji-suan-gai-nian-17-Zaq0S
  • https://docs.microsoft.com/en-us/previous-versions/windows/it-pro/windows-server-2008-R2-and-2008/cc734063(v=ws.10)
本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2019-05-20,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 安全乐观主义 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
暂无评论
推荐阅读
编辑精选文章
换一批
沉浸式白板绘图工具:让你的想象力爆棚!绝绝子的绘画利器!
大家好,我是小麦。今天给大家分享的是一款白板绘图工具excalidraw。前面也分享过几篇关于白板绘图工具。
兔云小新LM
2024/02/26
3950
沉浸式白板绘图工具:让你的想象力爆棚!绝绝子的绘画利器!
流程图绘制工具Mac免费版:draw.io
draw.io for Mac 是一款功能强大且易于使用的图表工具,允许用户创建范围广泛的图表,包括流程图、思维导图、网络图等。它是一个完全在用户的 Web 浏览器中运行的开源应用程序,可以通过互联网连接从任何地方访问它。 借助draw.io,用户可以使用一系列预先构建的形状和连接器快速创建图表,或者他们可以导入自己的自定义形状和图像。该软件提供了一个简单的拖放界面,使用户可以轻松地在画布上放置和排列元素。 Draw.io还包括一些高级功能,例如实时协作、修订历史记录以及与流行的云存储服务(如 Dropbox 和 Google Drive)的集成。这使它成为需要在复杂图表上协同工作并轻松与他人共享的团队的绝佳工具。
快乐的小丸子
2023/04/23
5.5K0
使用GPT和Draw.io生成工作流程图
在现代工作环境中,工作流程图是一种常见的工具,用于可视化和传达复杂的流程和步骤。传统上,绘制工作流程图需要手动绘制或使用专业的绘图工具,这可能会面临一些难点和挑战。以下是一些需要考虑的因素:
DevOps云学堂
2024/07/04
2.2K0
使用GPT和Draw.io生成工作流程图
Draw.io,我常用的一款开源流程图软件,强烈推荐
由于我的工作经常要做项目开发流程管理,所以画流程图成了家常便饭,流程图看似简单,其实需要花很多心思去梳理业务逻辑,才能画好。
派大星的数据屋
2025/03/24
1.1K0
Draw.io,我常用的一款开源流程图软件,强烈推荐
解锁 draw.io 流程图制作工具Docker私有化部署(2/2)
draw.io 是一款备受青睐的开源流程图软件,它有着诸多优点。首先,其界面十分整洁有序,完全没有广告的干扰,并且所有功能都是免费向用户开放的,这一点对于很多不想付费使用绘图软件的用户来说极具吸引力。
正在走向自律
2024/12/23
8120
解锁 draw.io 流程图制作工具Docker私有化部署(2/2)
Star 39.9k太方便了!程序员的作图利器:draw.io!敲代码画图两不误!
现在身处职场中,作为一名埋头苦干的打工人,不论是什么工种,不会做图有时候还真‘活不下去’。当然工厂拧螺丝就另说了!
Python兴趣圈
2024/07/30
3860
Star 39.9k太方便了!程序员的作图利器:draw.io!敲代码画图两不误!
Drawio 开源免费的流程图绘制软件
Drawio 是一款开源、免费的流程图绘制软件, 本文记录相关内容。 简介 draw.io是一个可配置的图表/白板可视化应用程序。 draw.io 由英国软件公司 JGraph Ltd 拥有和开发。这是一个开源项目(但对贡献是封闭的) github链接:https://github.com/jgraph 可以绘制流程图、UML、类图、组织结构图、泳道图、E-R图、思维导图等等 中文交流网:https://www.drawzh.com/ draw.io支持多种方式使用:网页访问、客户端、VS
为为为什么
2023/01/11
3.8K0
Drawio 开源免费的流程图绘制软件
ChatGPT配合两款神器,1分钟生成流程图
在下面的内容中,我将向你介绍一种可以让你在1分钟内制作出专业流程图的方法,不管过往是否有画流程图的经历,都可以轻松做到。
MavenTalker
2023/09/04
5.2K0
ChatGPT配合两款神器,1分钟生成流程图
好用画流程图软件推荐 excalidraw
之前工作中主要用两种画图工具,一个是 PlantUML ,一个是 Draw.io。 PlantUML 画时序图的效率比较高,避免了拖拽的麻烦,尤其是最近有了 AI 的加持,效率又提升了一个台阶。参见:《利用 AI 作图帮助理解知识》
明明如月学长
2023/08/16
1.4K0
好用画流程图软件推荐 excalidraw
免费、好用、好看的思维导图软件综合测评:Draw.io、Gitmind、Xmind、MindMaster、Effie、Scapple、Miro、Excalidr
思维导图从上个世纪九十年代传入中国大陆。从此之后,基于思维导图理念的各种产品如雨后春笋般涌现。在这些产品中,既有基于思维导图理念的专业思维导图工具,比如 MindMaster,也有与思维导图相关的流程图工具,比如 Processon(这类产品一般都囊括了思维导图)。此外,一些云笔记软件也内置了思维导图功能,比如印象笔记。在这些百花齐放的思维导图工具中,具体应该怎么选择呢?
数字花园
2022/06/29
4.2K0
免费、好用、好看的思维导图软件综合测评:Draw.io、Gitmind、Xmind、MindMaster、Effie、Scapple、Miro、Excalidr
Linux必备:这十个流程图让你变的更强!
图是我们与信息联系并处理其重要性的绝佳方法;它们有助于传达关系和抽取信息,并使我们能够可视化概念。
数据科学工厂
2023/11/13
8680
Linux必备:这十个流程图让你变的更强!
运维必备的免费在线画图工具,真的很好用!
都说一图胜千言,一个IT工程师如果能画的一手好图,无论是在方案选项、还是技术交流,都能快速表达自己的想法,让你的思路更加的直观明了;市面上的制图工具有很多,下面就推荐几款好用且免费的工具,绝对让你分分钟就爱上。
网络工程师笔记
2023/08/23
5860
运维必备的免费在线画图工具,真的很好用!
10 款超实用流程图工具,99% 的人没有用过最后一款!
流程图是梳理系统架构、工作流程的一款常用利器,长久以来,霸占大多数用户电脑的都是一些比较知名的商业桌面软件。本文就来介绍 10 款免费好用的在线流程图工具,让你从此不再为付费、臃肿的商业流程图软件而苦恼!
GitHubDaily
2020/06/16
58.1K0
10 款超实用流程图工具,99% 的人没有用过最后一款!
最好用的10款ER图神器!
分享10款ER图工具,详细分析他们的功能特点、价格和适用场景,可以根据你的需求进行选择。
JavaEdge
2024/05/25
6340
最好用的10款ER图神器!
流程图设计入门指南 —— 以 Draw.io 为例
直接按保存, 会保存一个新的 xml 文件(当然, 这也间接实现了版本控制), 但是每次都要弹出窗口很麻烦 点击 File->Saveas... 选择 Browser , 浏览器便会实时保存记录,注意不要在无痕模式使用,否则误关闭浏览器也无法找回。
benny
2019/12/12
17.9K0
流程图设计入门指南 —— 以 Draw.io 为例
draw.io-取代visio的流程图绘制工具
它是一个 web 端的流程图绘制工具,不需要进行安装,只需要打开它的网站 http://draw.io 就可以了。而且界面简洁清晰,最重要的是免费的,visio 不是免费的。还有其他很多好处,它跨平台,还提供了 Chrome 插件和 VScode 插件,而且支持多语言,很友好。这么多好处,那必须搞起来啊。作者已经完成从 visio 转移到 draw.io。下来我们一一品尝。
Rice加饭
2022/05/10
1.5K0
draw.io-取代visio的流程图绘制工具
基于drawio构建流程图编辑器
drawio是一款非常强大的开源在线的流程图编辑器,支持绘制各种形式的图表,提供了Web端与客户端支持,同时也支持多种资源类型的导出。
WindRunnerMax
2023/07/10
1.6K0
10个不错的绘制流程框图的工具推荐
流程框图是一个不太详细的系统图表,其中部件由块表示,因此得名。与清楚地详细说明遵循某个系统的过程的示意图相比,框图要简单得多,因为它们不包含那么多信息。诸如流程名称之类的内容是该图中最常见的部分。下面列出了其中一些工具以及对每个工具的简要但详细的说明。
用户9925864
2022/12/16
4.3K0
10个不错的绘制流程框图的工具推荐
VisionOn 一款集流程图、思维导图、白板于一体的轻量级在线制图工具
在工作和学习过程中,通过可视化的图形,有助于清晰高效地表达我们的灵感、想法、思想。 工欲善其事,必先利其器。今天推荐一款简单、好用、强大、高颜值、性价比高的制图工具 —— VisionOn.
数字花园
2023/08/02
8300
VisionOn 一款集流程图、思维导图、白板于一体的轻量级在线制图工具
这 7 款程序员免费在线画图工具,贼好用!
都说一图胜千言,一个程序员如果能画的一手好图,无论是在产品分析、方案选项、还是技术交流,都能快速表达自己的想法,让你的思路更加的直观明了;市面上的制图工具有很多,下面就推荐几款好用且免费的工具,绝对让你分分钟就爱上。
码猿技术专栏
2023/05/01
1.7K0
这 7 款程序员免费在线画图工具,贼好用!
推荐阅读
相关推荐
沉浸式白板绘图工具:让你的想象力爆棚!绝绝子的绘画利器!
更多 >
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档