Domain and type enforcement for real-time operating systems

被引：0

作者：

Kiszka, J ^{[1
]}

Wagner, B ^{[1
]}

机构：

[1] Univ Hannover, Realtime Syst Grp, Inst Syst Engn, D-30167 Hannover, Germany

来源：

ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS | 2003年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper presents a security concept for real-time operating systems based on a strong access control mechanism. For that purpose, the system is divided into a minor real-time and a major non-real-time part. The general and formal Domain and Type Enforcement model is applied to both divisions. This paper offers an outlook on emerging application scenarios and an examination of the effect of the proposed concept under expected attacks. In addition, requirements and practical aspects of an implementation are discussed.

引用

页码：439 / 446

页数：8

共 50 条

[1] Real-time operating systems
Stankovic, JA
Rajkumar, R
[J]. REAL-TIME SYSTEMS, 2004, 28 (2-3) : 237 - 253
[2] Real-Time Operating Systems
John A. Stankovic
R. Rajkumar
[J]. Real-Time Systems, 2004, 28 : 237 - 253
[3] Testing Real-Time Systems with Runtime Enforcement
Bechennec, Jean-Luc
Faucou, Sebastien
Roux, Olivier H.
Brun, Matthias
Givel, Louis-Marie
[J]. IEEE DESIGN & TEST, 2018, 35 (04) : 31 - 37
[4] Benchmarking real-time operating systems
McRae, E
[J]. DR DOBBS JOURNAL, 1996, 21 (05): : 48 - &
[5] REAL-TIME OPERATING-SYSTEMS
SHEAR, D
[J]. EDN, 1994, 39 (08) : 84 - &
[6] REAL-TIME OPERATING-SYSTEMS
ASLANIAN, R
[J]. COMPUTER STANDARDS & INTERFACES, 1987, 6 (01) : 45 - 49
[7] WHATS REAL IN REAL-TIME OPERATING-SYSTEMS
CHILD, J
[J]. COMPUTER DESIGN, 1992, 31 (06): : 107 - +
[8] Real-Time Operating Systems for Multicore Embedded Systems
Tomiyama, Hiroyuki
Honda, Shinya
Takada, Hiroaki
[J]. ISOCC: 2008 INTERNATIONAL SOC DESIGN CONFERENCE, VOLS 1-3, 2008, : 62 - 67
[9] Use of runtime enforcement for the test of real-time systems
Givel, Louis-Marie
Brun, Matthias
Constant, Camille
Faucou, Sebastien
Roux, Olivier H.
[J]. 2015 IEEE 17TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2015 IEEE 7TH INTERNATIONAL SYMPOSIUM ON CYBERSPACE SAFETY AND SECURITY, AND 2015 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS), 2015, : 984 - 990
[10] A Survey of Contemporary Real-time Operating Systems
Baskiyar, S.
Meghanathan, N.
[J]. INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2005, 29 (02): : 233 - 240

← 1 2 3 4 5 →