Practical Principle of Least Privilege for Secure Embedded Systems

被引:16
|
作者
Jero, Samuel [1 ]
Furgala, Juliana [1 ]
Pan, Runyu [2 ]
Gadepalli, Phani Kishore [2 ]
Clifford, Alexandra [1 ,3 ]
Ye, Bite [2 ]
Khazan, Roger [1 ]
Ward, Bryan C. [1 ]
Parmer, Gabriel [2 ]
Skowyra, Richard [1 ]
机构
[1] MIT, Lincoln Lab, Cambridge, MA 02139 USA
[2] George Washington Univ, Washington, DC 20052 USA
[3] Draper Lab, Cambridge, MA USA
关键词
D O I
10.1109/RTAS52030.2021.00009
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Many embedded systems have evolved from simple bare-metal control systems to highly complex network-connected systems. These systems increasingly demand rich and feature-full operating-systems (OS) functionalities. Furthermore, the network connectedness offers attack vectors that require stronger security designs. To that end, this paper defines a prototypical RTOS API called Patina that provides services common in feature-rich OSes (e.g., Linux) but absent in more trustworthy mu-kernel-based systems. Examples of such services include communication channels, timers, event management, and synchronization. Two Patina implementations are presented, one on Composite and the other on seL4, each of which is designed based on the Principle of Least Privilege (PoLP) to increase system security. This paper describes how each of these mu-kernels affect the PoLP-based design, as well as discusses security and performance tradeoffs in the two implementations. Results of comprehensive evaluations demonstrate that the performance of the PoLP-based implementation of Patina offers comparable or superior performance to Linux, while offering heightened isolation.
引用
收藏
页码:1 / 13
页数:13
相关论文
共 50 条
  • [41] Sentinel: Secure Mode Profiling and Enforcement for Embedded Systems
    Martin, Paul D.
    Russell, David
    Rubin, Aviel D.
    Checkoway, Stephen
    Ben Salem, Malek
    2018 IEEE/ACM THIRD INTERNATIONAL CONFERENCE ON INTERNET-OF-THINGS DESIGN AND IMPLEMENTATION (IOTDI 2020), 2018, : 105 - 116
  • [42] A Scalable Secure Overlay Framework for Heterogeneous Embedded Systems
    Kraxberger, Stefan
    IEEE LOCAL COMPUTER NETWORK CONFERENCE, 2010, : 236 - 239
  • [43] Secure communication in microcomputer bus systems for embedded devices
    Muehlbach, Sascha
    Wallner, Sebastian
    JOURNAL OF SYSTEMS ARCHITECTURE, 2008, 54 (11) : 1065 - 1076
  • [44] Towards scalable and secure execution platform for embedded systems
    Sakai, Junji
    Inoue, Hiroaki
    Edahiro, Masato
    PROCEEDINGS OF THE ASP-DAC 2007, 2007, : 350 - +
  • [45] Secure Memory for Embedded Tamper-proof Systems
    Serpanos, Dimitrios
    Stachoulis, Dimitrios
    2019 14TH IEEE INTERNATIONAL CONFERENCE ON DESIGN & TECHNOLOGY OF INTEGRATED SYSTEMS IN NANOSCALE ERA (DTIS 2019), 2019,
  • [46] Microcoded coprocessor for embedded secure biometric authentication systems
    Yang, SL
    Schaumont, P
    Verbauwhede, I
    2005 INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS, 2005, : 130 - 135
  • [47] A Practical Attestation Protocol for Autonomous Embedded Systems
    Kohnhaeuser, Florian
    Buscher, Niklas
    Katzenbeisser, Stefan
    2019 4TH IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY (EUROS&P), 2019, : 263 - 278
  • [48] Secure Login for Web-Based Embedded Systems
    Qu, Bo
    COMMUNICATIONS AND INFORMATION PROCESSING, PT 1, 2012, 288 : 640 - 647
  • [49] EM alignment using phase for secure embedded systems
    Catherine Gebotys
    Brian A. White
    Design Automation for Embedded Systems, 2008, 12 : 185 - 206
  • [50] Design and implementation of secure embedded systems based on Trustzone
    Xu Yan-ling
    Pan Wei
    Zhang Xin-guo
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, 2008, : 136 - +