CheriABI简介

在CHERI 架构中指针可以被定义为权能，而不是传统的整数类型的虚拟地质。CHERI中的权能定义不仅可以兼容C语言中的指针，而且加强了指针的语义。传统的胖指针仅仅是指针区间的保护, 而CHERI权能(或指针)在此基础上还提供了完整性保护, 强制本源验证, 和访问单调性。这些更强的保护机制必须与现有的操作系统、运行环境以及应用程序相互兼容才有现实意义。如果将进程模型、用户-内核交互、动态链接以及内存管理都考虑在内，我们发现仅仅基于此架构上的权能远远不能达到内存安全的目的。由此，我们提出抽象权能的概念，以此描述该如何在程序执行到某一位置时的访问权限，不论程序是在用户态还是内核态。为了在较大规模下测试抽象权能对区间完整性和引用完整性的保护，我们将它应用到一个全由C语言写成的操作系统（FreeBSD）和一个企业级的数据库（PostgreSQL）。实验证明，抽象权能与CHERI架构中的权能相结合，相较于之前未改动的CHERI以及全软件的方案，可以提供更为完整的保护，更好的兼容性，其性能表现也在可接受范围内。此外，实验结果也对其他系统防护方案提供了有价值的参考。

参考：CHERIABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment)

CheriABI简介相关推荐

etcd 笔记（01）— etcd 简介、特点、应用场景、常用术语、分布式 CAP 理论、分布式原理
1. etcd 简介 etcd 官网定义: A highly-available key value store for shared configuration and service discov ...
Docker学习(一)-----Docker简介与安装
一.Docker介绍 1.1什么是docker Docker是一个开源的应用容器引擎,基于Go语言并遵从Apache2.0协议开源 Docker可以让开发者打包他们的应用以及依赖包到一个轻量级,可移植 ...
【Spring】框架简介
[Spring]框架简介 Spring是什么 Spring是分层的Java SE/EE应用full-stack轻量级开源框架,以IOC(Inverse Of Control:反转控制)和AOP(Asp ...
TensorRT简介
TensorRT 介绍引用:https://arleyzhang.github.io/articles/7f4b25ce/ 1 简介 TensorRT是一个高性能的深度学习推理(Inference) ...
谷粒商城学习笔记——第一期：项目简介
一.项目简介 1. 项目背景市面上有5种常见的电商模式 B2B.B2C.C2B.C2C.O2O B2B 模式(Business to Business),是指商家和商家建立的商业关系.如阿里巴巴 B ...
通俗易懂的Go协程的引入及GMP模型简介
本文根据Golang深入理解GPM模型加之自己的理解整理而来 Go协程的引入及GMP模型一.协程的由来 1. 单进程操作系统 2. 多线程/多进程操作系统 3. 引入协程二.golang对协程的处 ...
Linux 交叉编译简介
Linux 交叉编译简介主机,目标,交叉编译器主机与目标编译器是将源代码转换为可执行代码的程序.像所有程序一样,编译器运行在特定类型的计算机上,输出的新程序也运行在特定类型的计算机上. 运行编译 ...
TVM Operator Inventory (TOPI)简介
TOPI简介这是 TVM Operator Inventory (TOPI) 的介绍.TOPI 提供了比 TVM 具有更高抽象的 numpy 风格的,通用操作和调度.TOPI 如何在 TVM 中,编 ...
计算机视觉系列最新论文（附简介）
计算机视觉系列最新论文(附简介) 目标检测 1. 综述:深度域适应目标检测标题:Deep Domain Adaptive Object Detection: a Survey作者:Wanyi Li, ...

CheriABI简介

CheriABI简介相关推荐

最新文章

热门文章