Automated Generation, Verification, and Ranking of Secure SoC Access Control Policies
Automated Generation, Verification, and Ranking of Secure SoC Access Control Policies
复制标题
安全 SoC 访问控制策略的自动生成、验证和排序
DOI：
10.1145/3576914.3587508
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Kastner, Ryan
中科院分区：
文献类型：
--
作者：
Meza, Andres;Kastner, Ryan
现代片上系统（SoC）架构是微处理器、定制加速器、存储器、接口、外围设备和其他资源的异构混合。这些资源使用复杂的片上互连网络进行通信，这些互连网络试图快速有效地仲裁存储器事务，这些存储器事务的行为可以根据当前操作模式和系统操作状态而急剧变化。安全关键型应用程序需要访问控制策略来定义这些资源如何交互，以确保不会发生恶意和不安全行为。定义并验证这些访问控制策略的安全性的过程在很大程度上依赖于手动操作。本文介绍了一种自动化的方法来生成，验证和排名安全的SoC访问控制策略。我们的方法的目标访问控制策略的AKER访问控制系统。
Modern System-on-chip (SoC) architectures are a heterogeneous mix of microprocessors, custom accelerators, memories, interfaces, peripherals, and other resources. These resources communicate using complex on-chip interconnect networks that attempt to quickly and efficiently arbitrate memory transactions whose behaviors can vary drastically depending on the current mode of operation and system operating state. Security- and safety-critical applications require access control policies that define how these resources interact to ensure that malicious and unsafe behaviors do not occur. The process of defining and then verifying the security of these access control policies relies heavily on manual effort. This paper describes an automated methodology to generate, verify, and rank secure SoC access control policies. Our methodology targets access control policies for AKER access control systems.
登录
查看更多内容
SoC 访问控制系统的设计、验证和管理框架
影响因子：
3.7
作者：
Francesco Restuccia;Andres Meza;R. Kastner;J. Oberg
通讯作者：
J. Oberg
AXI HyperConnect：用于 FPGA SoC 中硬件加速器的可预测的管理程序级互连
DOI：
10.1109/dac18072.2020.9218652
发表时间：
2020
期刊：
2020 57th ACM/IEEE Design Automation Conference (DAC)
影响因子：
--
作者：
Francesco Restuccia;Alessandro Biondi;Mauro Marinoni;Giorgiomaria Cicero;G. Buttazzo
通讯作者：
G. Buttazzo
在基于 FPGA 的 SoC 中安全地防止总线事务期间的无限延迟
DOI：
10.1109/fccm48280.2020.00026
发表时间：
2020
期刊：
2020 IEEE 28th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)
影响因子：
--
作者：
Francesco Restuccia;Alessandro Biondi;Mauro Marinoni;G. Buttazzo
通讯作者：
G. Buttazzo
Aker：安全可靠的 SoC 访问控制的设计和验证框架
DOI：
--
发表时间：
2021
期刊：
International Conference on Computer Aided Design
影响因子：
--
作者：
Restuccia, Francesco;Meza, Andres;Kastner, Ryan
通讯作者：
Kastner, Ryan
您的巴士仲裁员真的公平吗？
DOI：
10.1145/3358183
发表时间：
2019
期刊：
ACM Transactions on Embedded Computing Systems (TECS)
影响因子：
--
作者：
Francesco Restuccia;Marco Pagani;Alessandro Biondi;Mauro Marinoni;G. Buttazzo
通讯作者：
G. Buttazzo