Browse wiki
From Navigators
Publication:Carraca2014INForum |
Abstract | Time- and Space-Partitioned systems are a … Time- and Space-Partitioned systems are a current trend in aerospace systems and in autonomous vehicles in general. Such systems employ a partitioned environment through separation of applications in logical containers called partitions. Time and Space Partitioning (TSP) ensures that partitions do not mutually interfere in terms of fulfilment of realtime and addressing space encapsulation requirements. In this paper we present an architecture for future TSP systems and its extension of concerns into the security domain. We will describe the security components that make this architecture well-suitable for the construction of systems with Multiple Independent Levels of Safety and Security (MILS). dent Levels of Safety and Security (MILS). |
---|---|
Address | Porto, Portugal + |
Author | João Carraca + , Ricardo Correia Pinto + , João Pedro Craveiro + , José Rufino + |
Booktitle | Proceedings of the 6th Simpósio de Informática (INFORUM) + |
Document | Document for Publication-Carraca2014INForum.pdf + |
Key | Carraca2014INForum + |
Month | sep + |
NumPubDate | 2,014.09 + |
Pages | 457–472 + |
Project | Project:READAPT + , Project:KARYON + |
ResearchLine | Timeliness and Adaptation in Dependable Systems (TADS) + |
Title | Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems + |
Type | inproceedings + |
Year | 2014 + |
Has improper value forThis property is a special property in this wiki. | Url + |
Categories | Publication + |
Modification dateThis property is a special property in this wiki. | 23 July 2015 01:40:19 + |
hide properties that link here |
No properties link to this page. |