SoK: Security in Real-Time Systems

被引:4
作者
Hasan, Monowar [1 ]
Kashinath, Ashish [2 ]
Chen, Chien-Ying [2 ]
Mohan, Sibin [3 ]
机构
[1] Washington State Univ, 355 NE Spokane St, Pullman, WA 99164 USA
[2] Univ Illinois, 201 North Goodwin Ave, Urbana, IL 61801 USA
[3] George Washington Univ, 800 22nd St NW, Washington, DC 20052 USA
基金
美国国家科学基金会;
关键词
Embedded systems; cyber-physical systems; scheduling; OPTIMIZATION; ARCHITECTURE; INFORMATION;
D O I
10.1145/3649499
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Security is an increasing concern for real-time systems (RTS). Over the last decade or so, researchers have demonstrated attacks and defenses aimed at such systems. In this article, we identify, classify and measure the effectiveness of the security research in this domain. We provide a high-level summary [identification] and a taxonomy [classification] of this existing body of work. Furthermore, we carry out an in-depth analysis [measurement] of scheduler-based security techniques - the most common class of real-time security mechanisms. For this purpose, we developed a common metric, "attacker's burden", used to measure the effectiveness of (existing as well as future) scheduler-based real-time security measures. This metric, built on the concept of "work factor" [1], is adapted for, and normalized across, various scheduler-based real-time security techniques.
引用
收藏
页数:31
相关论文
共 112 条
[1]  
Abad FAT, 2013, 2013 IEEE 1ST INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS, NETWORKS, AND APPLICATIONS (CPSNA), P26, DOI 10.1109/CPSNA.2013.6614242
[2]  
Abdi F., 2016, IEEE CERTS, P47
[3]   Preserving Physical Safety Under Cyber Attacks [J].
Abdi, Fardin ;
Chen, Chien-Ying ;
Hasan, Monowar ;
Liu, Songran ;
Mohan, Sibin ;
Caccamo, Marco .
IEEE INTERNET OF THINGS JOURNAL, 2019, 6 (04) :6285-6300
[4]   Guaranteed Physical Security with Restart-Based Design for Cyber-Physical Systems [J].
Abdi, Fardin ;
Chen, Chien-Ying ;
Hasan, Monowar ;
Liu, Songran ;
Mohan, Sibin ;
Caccamo, Marco .
2018 9TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2018), 2018, :10-21
[5]  
[Anonymous], 2015, Technical Report
[6]  
[Anonymous], 2014, Technical Report
[7]  
[Anonymous], 2014, P 4 INT WORKSHOP TRU
[8]   APPLYING NEW SCHEDULING THEORY TO STATIC PRIORITY PREEMPTIVE SCHEDULING [J].
AUDSLEY, N ;
BURNS, A ;
RICHARDSON, M ;
TINDELL, K ;
WELLINGS, AJ .
SOFTWARE ENGINEERING JOURNAL, 1993, 8 (05) :284-292
[9]  
Aumasson JP., 2017, SERIOUS CRYPTOGRAPHY
[10]   Scheduling Randomization Protocol to Improve Schedule Entropy for Multiprocessor Real-Time Systems [J].
Baek, Hyeongboo ;
Kang, Chang Mook .
SYMMETRY-BASEL, 2020, 12 (05)