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关键错误。
相关推荐
roman_日积跬步-终至千里11 小时前
【系统架构设计(36)】网络规划与设计
网络·系统架构
qqxhb11 小时前
系统架构设计师备考第35天——软件架构复用
系统架构·管理·使用·获取·构件复用·机会复用·系统复用
qqxhb11 小时前
系统架构设计师备考第30天——关系数据库
数据库·系统架构·数据库设计·关系模式·范式·关系远算·完整性规则
love530love14 小时前
EPGF 架构为什么能保持长效和稳定?
运维·开发语言·人工智能·windows·python·架构·系统架构
做运维的阿瑞1 天前
Linux 企业级备份体系实战:cron/anacron/restic/rclone 对比与脚本总结
linux·运维·服务器·后端·学习·系统架构·centos
roman_日积跬步-终至千里1 天前
【系统架构设计(35)】TCP/IP协议族详解
网络协议·tcp/ip·系统架构
西蓝花MQ1 天前
系统架构设计能力
系统架构
文火冰糖的硅基工坊1 天前
[硬件电路-271]: RS-232 电平转换芯片MAX232AESE 功能概述与管脚定义
单片机·嵌入式硬件·系统架构·信号处理·跨学科融合
武子康2 天前
Java-131 深入浅出 MySQL MyCat 深入解析 schema.xml 配置详解:逻辑库、逻辑表、数据节点全攻略
xml·java·数据库·mysql·性能优化·系统架构·mycat
张道天2 天前
软考系统架构设计师知识点-软件可靠性基础
系统架构