桑库斯 swMATH ID: 24321 软件作者： Noorman J、Agten P、Daniels W、Strackx R、Van Herrewege A、Huygens C等人。 描述： Sancus：低成本、可靠、可扩展的网络设备，具有零软件、可信的计算基础。在本文中，我们提出了一种用于网络化嵌入式设备的安全体系结构Sancus。Sancus支持在设备上以远程（甚至第三方）软件安装的形式进行扩展，同时保持强大的安全保障。更具体地说，Sancus可以远程向软件提供商证明某个特定软件模块正在运行，并且可以验证从软件模块到软件提供商的消息。软件模块可以安全地维护本地状态，并可以安全地与他们选择信任的其他软件模块交互。Sancus最显著的特点是它在不信任设备上的任何基础设施软件的情况下实现了这些安全保证。设备上的可信计算基础（TCB）只是硬件。此外，Sancus的硬件成本很低。我们描述了Sancus的设计，并开发和评估了一个支持Sancus设备的原型FPGA实现。原型扩展了MSP430处理器，该处理器具有运行Sancus所需的内存访问控制和加密功能的硬件支持。我们还开发了一个C编译器，它针对我们的设备，可以将标准C模块编译为Sancus保护的软件模块。 主页： https://www.usenix.org/conference/usenixsecurity13/technical-sessions/presentation/noorman 相关软件： TALx86;菲德斯;小爪哇;闪烁 引用于： 2文件 4位作者引用 1 岑、陈 1 克拉克、戴夫 1 马可·帕特里格纳尼 1 朱庆义 2篇连载文章中引用 1 自然与社会中的离散动力学 1 计算机语言、系统和结构 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文