20、英特尔平台信任技术支持下的可信计算

英特尔PTT支持的可信计算技术解析

英特尔平台信任技术支持下的可信计算

1. 绑定与密封

1.1 绑定

绑定是指使用TPM可信密钥对调用者的数据进行加密的操作,该可信密钥源自背书密钥。由于加密数据的TPM是唯一拥有该可信密钥的实体,只有同一个TPM能够解密和检索数据,数据本质上与平台绑定。

1.2 密封

密封与绑定类似,但对解密附加了条件。只有当平台处于由PCR(平台配置寄存器)中的值所标识的指定状态时,才允许进行“解封”(解密)操作。这个特定状态通常是数据“密封”时的状态。

以全磁盘加密为例,用于加密磁盘的对称密钥可以密封在TPM中,在启动过程中,只有当PCR中的测量值验证了启动路径的完整性时,密钥才能被解封。如果检测到诸如引导工具包之类的恶意软件,平台状态将不正确,TPM将拒绝解密磁盘加密密钥,从而保护磁盘上的加密数据免受诸如“邪恶女仆”攻击。

2. 英特尔平台信任技术

2.1 技术概述

近期的英特尔平台,如Haswell ULT多芯片封装和Bay Trail SoC,配备的安全和管理引擎采用了英特尔平台信任技术(PTT)。PTT实现了一个基于固件的TPM,符合1.2版本规范。

2.2 架构视角

从架构上看,TPM是运行在嵌入式引擎核心上的应用程序,通过嵌入式内核中的I/O驱动与外部世界(如Windows 8操作系统)进行通信。作为安全和管理引擎的一部分,基于固件的TPM与主机天然隔离,同时受益于引擎上实施的所有安全强化对策。

为了最小化TPM的可信计算基,需要保护TPM免受其他内部固件应用程序(如高级管理技术AMT)的攻击。为此,T

【四轴飞行器】非线性三自由度四轴飞行器模拟器研究(Matlab代码实现)内容概要:本文围绕非线性三自由度四轴飞行器的建模与仿真展开,重点介绍了基于Matlab的飞行器动力学模型构建与控制系统设计方法。通过对四轴飞行器非线性运动方程的推导,建立其在三维空间中的姿态与位置动态模型,并采用数值仿真手段实现飞行器在复杂环境下的行为模拟。文中详细阐述了系统状态方程的构建、控制输入设计以及仿真参数设置,并结合具体代码实现展示了如何对飞行器进行稳定控制与轨迹跟踪。此外,文章还提到了多种优化与控制策略的应用背景,如模型预测控制、PID控制等,突出了Matlab工具在无人机系统仿真中的强大功能。; 适合人群:具备一定自动控制理论基础和Matlab编程能力的高校学生、科研人员及从事无人机系统开发的工程师;尤其适合从事飞行器建模、控制算法研究及相关领域研究的专业人士。; 使用场景及目标:①用于四轴飞行器非线性动力学建模的教学与科研实践;②为无人机控制系统设计(如姿态控制、轨迹跟踪)提供仿真验证平台;③支持高级控制算法(如MPC、LQR、PID)的研究与对比分析; 阅读建议:建议读者结合文中提到的Matlab代码与仿真模型,动手实践飞行器建模与控制流程,重点关注动力学方程的实现与控制器参数调优,同时可拓展至多自由度或复杂环境下的飞行仿真研究。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符  | 博主筛选后可见
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值