ARM-V9 RME(Realm Management Extension)系统架构之系统安全能力的系统隔离属性

安全之安全(security²)博客目录导读

目录

一、系统隔离属性

1、系统配置完整性

1.1、时间隔离

2、关键错误的报告


一、系统隔离属性

1、系统配置完整性

MSD必须确保任何可能危及其安全保证的系统寄存器的正确性和完整性。例如,MSD必须确认内存控制器配置是一致的,以及任何控制物理地址空间映射到内存控制器的配置。

INKJLK MSD受保护寄存器(MPR)是一个存储可能危及MSD功能的值的配置寄存器。MPR必须位于根PAS中,只能由MSD或受信任的子系统配置。

IWVSXK 系统中MPR的列表是由具体实现决定的,[2]提供了可能的分类的详细信息。以下是一些例子:

  • 控制物理地址映射到DRAM内存端口的互连寄存器。
  • 允许修改内存访问或缓存维护消息的地址或数据字段,或可能影响其传递的寄存器。
  • 允许修改内存位置的值,修改访问的地址或数据,或违反RME RAS规则的内存控制器寄存器。
  • 可能存储机密信息或提供对可能存储它的内存、缓冲区或缓存的访问的寄存器。
  • 控制对内存、缓冲区或缓存的调试/DFT访问的寄存器。
  • 控制电源和复位设置或受信任的SCP寄存器的寄存器。
  • 控制系统计数器功能的寄存器。

识别系统中的所有MPR需要进行仔细的安全分析,涵盖直接通道和侧信道。

1.1、时间隔离

本节定义了与内存映射寄存器的时间隔离相关的属性和规则。

如果MSD有一种方法可以阻止所有请求者在任何安全状态下向其写入,那么寄存器是可写锁定的。如果MSD有一种方法可以阻止所有请求者在任何安全状态下读取它,则寄存器是可读锁定的。

可写锁定和可读锁定属性可以如下实现:

  • 使用由根PAS中的寄存器控制的写锁定和读锁定信号。
  • 使用不允许访问的GPC编码,如果这些属性可以应用于单个物理颗粒中的所有寄存器。

如果一个寄存器位于根PAS之外,但可能影响MSD提供的服务,则必须将其实现为可测量的寄存器。

可测量寄存器是MSD有一种受信任的方法获取其值的可写锁定寄存器。

举例来说,可测量的寄存器可用于定义一个保护策略或地址范围的属性,这些属性不是直接由MSD控制的。在MSD设置了可测量寄存器的写锁定后,必须有一种方法通过由SSD、MSD或其他可测量寄存器控制的路径读取其值。

2、关键错误的报告

可违反RME安全保证的功能性错误,例如GPC walk故障,要么报告给MSD,要么报告给受信任的子系统。

使用同步GPC异常将GPC故障报告给EL3。

当异步检测到错误时,可以使用SError中断将其信号传递给应用PEs,或者直接连接到受信任的子系统。例如:

  • 由SMMU检测到的GPC故障,在SMMU_ROOT_GPT_CFG_FAR中报告。
  • MMU在对跟踪缓冲区的写操作中检测到的GPT walk故障。
  • 受信任请求者检测到的RAS关键错误。
相关推荐
Tom Boom5 小时前
【3. 软件工程】3.1 软件过程模型
职场和发展·系统架构·软件工程
CryptoPP17 小时前
基于WebSocket的金融数据实时推送系统架构设计对接多国金融数据API
websocket·网络协议·金融·系统架构·区块链
OpenVINO生态社区3 天前
【汽车传感系统架构:借助传感获取安全】
安全·系统架构·汽车
牛马程序员小邓3 天前
系统架构师备考——软件工程基础知识篇(软件测试&净室软件工程&基于构件的软件工程)
系统架构·软件工程
一枝小雨4 天前
ARM异常处理流程与中断机制总结,与常见丢中断情况
arm开发·嵌入式硬件·架构·系统架构·arm
韩曙亮4 天前
【系统架构设计师】数据库系统 ② ( 分布式数据库 | 分布式数据库 特点 | 分布式数据库 分层模式 | 两阶段提交协议 - 2PC 协议 )
数据库·分布式·系统架构·分布式数据库·软考·dbms·两阶段提交协议
Cool----代购系统API4 天前
从系统架构、API对接核心技术、业务场景设计及实战案例四个维度,深度解析1688代采系统
系统架构
财神爷的小跟班o4 天前
跨境TRS投资操作指南与系统解决方案
金融·系统架构·区块链
mit6.8245 天前
[OS_4] 数学视角 | 多状态 | 模型检查器 | 程序验证(math)
开发语言·算法·系统架构
逍遥德5 天前
pom.xml与.yml,java配置参数传递
xml·java·spring boot·后端·系统架构