ARM-V9 RME(Realm Management Extension)系统架构之系统安全能力的RAS

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

目录

一、RAS 错误记录中的机密信息

二、RAS 错误信号

三、内存保护引擎的 RAS


        ARM架构安全手册提供了使用 Arm RAS 架构在处理单元(PE)和系统组件中实现 RAS 的要求。本节为本规范中描述的系统组件提供了附加规则。

一、RAS 错误记录中的机密信息

        ARM架构安全手册描述了机密信息的概念,并规定了可以记录在 RAS 错误记录寄存器中的内容要求。

        只有 SSD 或 MSD 有能力控制是否记录可能包含机密信息的错误记录。

        RME 安全生命周期状态中的系统适用 RME 保护机密信息的安全保证。如果 RME 系统不处于安全状态或启用了根外部调试,则:

  • 任何错误记录都可以启用记录。
  • 任何 RAS 调试功能都可以启用。

二、RAS 错误信号

        以下规则描述了在使用 Arm RAS 架构的 RME 系统中,错误必须如何向处理单元(PE)或其他系统组件发出信号的约束。

        有关向 PE 发出错误信号的规则,请参见ARM架构安全手册。

        关键错误中断(Critical Error Interrupts,CI)必须连接到将以 RME 系统重置响应的可信子系统。

        无法控制的错误会导致 RME 系统重置。

        实现 RAS 的组件可以通过错误恢复重置进行重置,以确保 RAS 综合信息不会丢失。 

        只有 SSD 或 MSD 可以启用或禁用 CI 的生成。

三、内存保护引擎的 RAS

        内存保护引擎系统要求介绍了 MPE 的概念及其相关要求。本节涵盖了与 MPE 相关的 RAS 要求。

        如果 MPE 提供完整性支持,并检测到完整性错误,它可以执行以下响应之一:

  • 返回poison信息给消费者并将错误记录为延迟错误。
  • 用带内错误响应并将错误记录为未更正错误。

        只有 SSD 或 MSD 必须能够控制检测、传播和报告 MPE 完整性错误的能力。

        Arm 建议具有完整性支持的 MPE 实现 Arm RAS 系统架构。

        除了提供加密和(如实施)完整性能力外,MPE 还能够传递poison信息:

  • 如果 MPE 之上的请求者通过写入poison信息延迟错误,则 MPE 必须能够将此值作为poison信息传递给其下方的内存系统。
  • 如果 MPE 之上的请求者使用了由于该访问或先前访问而被标记为poison的信息的内存位置,则 MPE 必须将此poison信息传递给消费者。

        通过 MPE 传递poison信息不会削弱其安全属性。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/bicheng/25062.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

服务部署:Linux系统环境部署java的jar包步骤

1. 准备环境 安装 Java Runtime Environment (JRE) 首先,确保你的系统上已经安装了 Java Runtime Environment (JRE)。你可以使用以下命令来安装 OpenJDK: sudo apt update sudo apt install openjdk-11-jre 通过以下命令检查 Java 是否安装成功&…

《软件定义安全》之三:用软件定义的理念做安全

第3章 用软件定义的理念做安全 1.不进则退,传统安全回到“石器时代” 1.1 企业业务和IT基础设施的变化 随着企业办公环境变得便利,以及对降低成本的天然需求,企业始终追求IT集成设施的性价比、灵活性、稳定性和开放性。而云计算、移动办公…

Django 里获取url里的参数

有两种方式获取 url 里的参数 第一种: http://127.0.0.1:8000/example/?xx123要获取 xx 参数对应的值 123 可以这么操作 # 在 views.py def example(request):xx_value request.GET.get("xx")第二种: url 的例子:http://127.0…

jt808 jt-808 JT/T808-2001 jt/t808-2001 部标协议 协议解析 java代码实现篇

一款简单JT-808解析项目 之前写过一篇关于jt-808解析博客,https://blog.csdn.net/hncdyj/article/details/89494209 有很多同学很感兴趣,这次给大家开源一款java版本解析jt808协议的工程。 你需要的知识储备 需要了解什么是二进制,十进制…

pytorch 加权CE_loss实现(语义分割中的类不平衡使用)

加权CE_loss和BCE_loss稍有不同 1.标签为long类型,BCE标签为float类型 2.当reduction为mean时计算每个像素点的损失的平均,BCE除以像素数得到平均值,CE除以像素对应的权重之和得到平均值。 参数配置torch.nn.CrossEntropyLoss(weightNone,…

图像特征提取 python

1. 边缘检测 (Edge Detection) 1.1 Sobel 算子 Sobel 算子是一种边缘检测算子,通过计算图像梯度来检测边缘。 import cv2 import numpy as np# 读取图像 image cv2.imread(image.jpg, 0)# 应用 Sobel 算子 sobel_x cv2.Sobel(image, cv2.CV_64F, 1, 0, ksize5)…

解决Windows窗口聚焦问题

情景引入: 在使用副屏显示器写代码,主屏显示器看教程的时候,突然有个知识点卡住了,这个时候你想要按下空格让视频暂停,但是按下后你会发现:视频没有暂停,倒是代码界面多了个空格。。。这就不好玩…

3. 变量的运算

文章目录 3.1 基本语法3.1.1 test条件测试3.1.2 中括号条件测试3.1.3 双中括号条件测试3.1.4 双圆括号 3.2 算术运算3.3 字符串运算符3.4 文件测试运算符3.5 关系运算符3.6 布尔运算符3.7 逻辑运算符 在 Shell 中包含如下的运算: 算术运算字符串运算符文件测试运算符…

用HTML实现拓扑面,动态4D圆环面,可手动调节,富有创新性的案例。(有源代码)

文章目录 前言一、示例二、目录结构三、index.html(主页面)四、main.js五、Tour4D.js六、swissgl.js七、dat.gui.min.js八、style.css 前言 如果你觉得对代码进行复制粘贴很麻烦的话,你可以直接将资源下载到本地。无需部署,直接可…

如何对stm32查看IO功能。

有些同学对于别人的开发板的资源,或者IO口,或者串口等资源不知道怎么分配。 方法1、看硬石、野火、正点原子的开发板,看下他们的例子,那个资源用什么。自己多看几个原理图,多看几个视频,做一下笔记。以后依…

【面试干货】MySQL 三种锁的级别(表级锁、行级锁和页面锁)

【面试干货】MySQL 三种锁的级别(表级锁、行级锁和页面锁) 1、表级锁2、行级锁3、页面锁4、总结 💖The Begin💖点点关注,收藏不迷路💖 在 MySQL 数据库中,锁是控制并发访问的重要机制&#xff0…

Stable Diffusion之最全详解图解

Stable Diffusion之最全详解图解 引言 Stable Diffusion,作为2022年发布的深度学习领域的重大突破,革新了文本到图像生成的边界。这一模型不仅能够根据文本描述精确生成视觉图像,还展示了在图像内补、外补、以及在提示词引导下实现图像转换的…

GQA,MLA之外的另一种KV Cache压缩方式:动态内存压缩(DMC)

0x0. 前言 在openreview上看到最近NV的一个KV Cache压缩工作:https://openreview.net/pdf?idtDRYrAkOB7 ,感觉思路还是有一些意思的,所以这里就分享一下。 简单来说就是paper提出通过一种特殊的方式continue train一下原始的大模型&#x…

DS:树与二叉树的相关概念

欢迎来到Harper.Lee的学习世界!博主主页传送门:Harper.Lee的博客主页想要一起进步的uu可以来后台找我哦! 一、树的概念及其结构 1.1 树的概念亲缘关系 树是一种非线性的数据结构,它是由n(n>0)个有限节点…

汇编:数组-寻址取数据

比例因子寻址: 比例因子寻址(也称为比例缩放索引寻址或基址加变址加比例因子寻址)是一种复杂的内存寻址方式,常用于数组和指针操作。它允许通过一个基址寄存器、一个变址寄存器和一个比例因子来计算内存地址。 语法 比例因子寻…

LeetCode //C - 168. Excel Sheet Column Title

168. Excel Sheet Column Title Given an integer columnNumber, return its corresponding column title as it appears in an Excel sheet. For example: A -> 1 B -> 2 C -> 3 … Z -> 26 AA -> 27 AB -> 28 … Example 1: Input: columnNumber 1 Outp…

经典文献阅读之--Online Monocular Lane Mapping(使用Catmull-Rom样条曲线完成在线单目车道建图)

0. 简介 对于单目摄像头完成SLAM建图这类操作,对于自动驾驶行业非常重要,《Online Monocular Lane Mapping Using Catmull-Rom Spline》介绍了一种仅依靠单个摄像头和里程计生成基于样条的在线单目车道建图方法。我们提出的技术将车道关联过程建模为一个…

Java 习题集

💖 单选题 💖 填空题 💖 判断题 💖 程序阅读题 1. 读代码写结果 class A {int m 5;void zengA(int x){m m x;}int jianA(int y){return m - y;} }class B extends A {int m 3;int jianA(int z){return super.jianA(z) m;} …

Java Web学习笔记20——Ajax-Axios

Axios: 介绍:Axios对原生的Ajax进行封装,简化书写,快速开发。 官网:https://www.axios-http.cn Axios 入门: {}是Js的对象。 get的请求参数是在URL后面?和相关参数值。 post的请求参数是在请…

优化Elasticsearch搜索性能:查询调优与索引设计

在构建一个基于Elasticsearch的搜索解决方案时,性能优化是一个至关重要的环节。无论是处理海量数据,还是满足快速响应的搜索需求,优化Elasticsearch的性能都能显著提高用户体验和系统效率。本文将重点介绍如何通过查询调优和索引设计来优化El…