跳至主要內容

可信与可信计算

zheng大约 4 分钟可信可信计算

一、“可信”有比较多的定义

(1)TCG用实体行为的预期性来定义 “可信” :如果一个实体的行为是预期的方式符合预期的目标,则该实体是可信的。

(2)ISO/IEC 15408标准定义“可信”为:参与计算的组件、操作或过程在任意条件下是可预测的,并能够抵御病毒和物理干扰。

(3)IEEE CS可信计算技术委员会(IEEE ComputerSocietyTechnical Committeeon Dependable Computing)所谓 “可信” 是指计算机系统所提供的服务是可以论证其是可信赖的,即不仅计算机系统所提供的服务是可信赖的,而且这种可信赖还是可论证的。这种可信依赖更多地指系统的可靠性、可用性和可维护性。

(4)我国著名的信息安全专家沈昌祥院士对上述定义进行了综合和拓展,他认为“可信”要做到一个实体在实现给定目标对其行为总是同预期的结果一样,强调行为结果的可预测性和可控制性。

(5)张焕国教授认为可信计算系统是能够提供系统的可靠性、可用性、安全性(信息的安全性和行为的安全性)的计算机系统,通俗的称为:可信≈可靠+安全。

(6)另外,还有其他一些解释:可信是指计算机系统提供的服务可以被证明是可信赖的;如果一个系统按照预期的设计和策略运行,那么这个系统是可信的;当第二个实体符合第一个实体的期望行为时,第一个实体可假设第二个实体是可信的。

二、为什么这么多定义?

(1)因为他们的研究背景不同:可信赖计算(dependable computing)、安全计算(security computing)和信任计算(trusted computing)。他们统称为可信计算。

(2)本文主要研究沈昌祥院士的trusted computing,信任计算

(3)信任计算源自早起的安全硬件设计,基本思想是:假定真实性可以用于计算机系统中首先建立一个信任根,再建立一条信任链,一级度量认证一级,一级信任一级,把信任关系扩大到整个计算机系统,从而确保计算机系统可信。

三、信任的属性

(1)信任是一种二元关系,它可以是一对一、一对多(个体对群体)、多对一(群体对个体)或多对多(群体对群体)的。

(2)信任具有二重性,既有主观性又有客观性。

(3)信任不一定具有对称性,即A信任B,则不一定就有B信任A。

(4)信任可度量,也就是说信任有程度之分,可以划分等级。

(5)信任可传递,但不绝对,而且在传递过程中可能有损失,传递的路径越长,损失的可能性就越大。

(6)信任具有动态性,即信任与环境(上下文)和时间因素相关。

四、信任链

![1569663160081](/assets/images/信任链.png)

五、可信根

1569664589958
1569664589958

图中的链也是信任链

六、待研究领域

(1)系统结构:包括硬件结构、TPM的物理安全、TPM的嵌入式软件、软件结构

(2)密码技术:公钥密码、传统密码、哈希函数、随机数产生

(3)信任链技术:包括信任的传递

(4)信任的度量:动态度量、存储和报告机制、可信测试

(5)可信软件:包括可信操作系统、可信编译、可信数据库、可信应用软件

(6)可信网络:可信网络结构、可信网络协议、可信网络设备

七、理论基础

(1)可信模型:数学模型、行为学模型

(2)可信度量理论:软件的动态可信性度量理论与模型

(3)信任链理论:信任的传递理论、信任传递的损失度量

(4)软件理论:可信性度量理论、可信软件工程、软件行为学

上次编辑于:
贡献者: 郑天祺