"巴黎高师机器级软件安全语义方法" 本文讨论了机器级软件安全的语义方法,旨在解决计算机安全中由于抽象层之间的差异而导致的漏洞问题。该方法通过将各种语义表示与每个抽象层的关系连接起来,改进了方法和程序。 计算机科学建立在许多层次的抽象之上,从硬件到算法或工作声明。在计算机安全的背景下,漏洞往往源于这些不同抽象层之间的差异。这种不一致可能导致网络攻击造成损失。 为了解决这个问题,提供语义有助于形式化描述并弥合这些层次之间的差距。在这篇论文中,我们通过将各种语义表示与每个抽象层的关系连接起来,改进了方法和程序。 论文的主要贡献是提供了一种自动将任意程序转换为ARMv8-A和RISC-V上的字母数字shellcode的方法,并提供了关于在RISC-V上进行返回导向编程攻击的可行性的第一次分析。此外,我们还描述了一种方法,可以提高各种语言或构造的安全性和安全性,通过三个例子分别优化Hoare监视器的实现。 论文的技术路线图可以概括如下: 1. 将语义表示与抽象层的关系连接起来,以弥合计算机安全中由于抽象层之间的差异导致的漏洞问题。 2. 提供了一种自动将任意程序转换为ARMv8-A和RISC-V上的字母数字shellcode的方法。 3. 描述了一种方法,可以提高各种语言或构造的安全性和安全性,通过三个例子分别优化Hoare监视器的实现。 论文的结论是,通过形式化描述和语义方法,可以解决计算机安全中由于抽象层之间的差异导致的漏洞问题,并提高软件安全性。 技术要点: * 语义方法:形式化描述和语义方法是解决计算机安全中由于抽象层之间的差异导致的漏洞问题的有效方法。 * 抽象层:计算机科学建立在许多层次的抽象之上,从硬件到算法或工作声明。 * 安全性:提供了关于在RISC-V上进行返回导向编程攻击的可行性的第一次分析,并描述了一种方法,可以提高各种语言或构造的安全性和安全性。 * 机器级软件安全:论文讨论了机器级软件安全的语义方法,旨在解决计算机安全中由于抽象层之间的差异而导致的漏洞问题。 本文提供了一种解决计算机安全中由于抽象层之间的差异导致的漏洞问题的方法,并描述了一种提高软件安全性的方法。
![](https://csdnimg.cn/release/download_crawler_static/88600088/bg10.jpg)
![](https://csdnimg.cn/release/download_crawler_static/88600088/bg11.jpg)
![](https://csdnimg.cn/release/download_crawler_static/88600088/bg12.jpg)
![](https://csdnimg.cn/release/download_crawler_static/88600088/bg13.jpg)
![](https://csdnimg.cn/release/download_crawler_static/88600088/bg14.jpg)
剩余219页未读,继续阅读
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
- 粉丝: 5
- 资源: 2万+
我的内容管理 展开
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
最新资源
- AirKiss技术详解:无线传递信息与智能家居连接
- Hibernate主键生成策略详解
- 操作系统实验:位示图法管理磁盘空闲空间
- JSON详解:数据交换的主流格式
- Win7安装Ubuntu双系统详细指南
- FPGA内部结构与工作原理探索
- 信用评分模型解析:WOE、IV与ROC
- 使用LVS+Keepalived构建高可用负载均衡集群
- 微信小程序驱动餐饮与服装业创新转型:便捷管理与低成本优势
- 机器学习入门指南:从基础到进阶
- 解决Win7 IIS配置错误500.22与0x80070032
- SQL-DFS:优化HDFS小文件存储的解决方案
- Hadoop、Hbase、Spark环境部署与主机配置详解
- Kisso:加密会话Cookie实现的单点登录SSO
- OpenCV读取与拼接多幅图像教程
- QT实战:轻松生成与解析JSON数据
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)