为资源受限的工业物联网（IIoT）设备记录安全保障措施——CERTIFY项目方法论 Valerio Senni、Simone Fulvio Rollini 和 Fabio Federici

《Electronics》：Documenting Security Assurance for Resource-Constrained IIoT Devices—The CERTIFY Project Methodology Valerio Senni, Simone Fulvio Rollini and Fabio Federici

　　

摘要

保护资源受限的工业物联网（IIoT）设备需要确保其完整性和保密性。本文介绍了一个在CERTIFY项目中开发的安全框架，用于记录和证明在资源受限设备上运行的敏感软件的可信赖执行。我们的架构模型假设存在一个分离内核，该内核利用硬件内存保护单元来强制内存隔离，并在启动、配置和运行时期间协调通信。另一方面，本文没有涉及实现细节，而是将其留给希望采用所提出的解决方案架构的用户来决定。为了系统地展示该架构的可信赖性，我们使用目标结构化表示法（Goal Structuring Notation）开发了一个保证案例：我们将系统需求映射到特定于架构的安全目标，并引入了一个新的“攻击者动作”图形元素，以明确将威胁建模整合到我们的论点中。最终的保证案例为CERTIFY IIoT框架的安全实现提供了一个结构化、可审计且可重用的基础架构。