“Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems”
From Navigators
(Difference between revisions)
(Created page with "{{Publication |type=inproceedings |document=Document for Publication-Carraca2014INForum.pdf |title=Information Security in Time- and Space-Partitioned Architectures for Aerospace...") |
|||
| Line 3: | Line 3: | ||
|document=Document for Publication-Carraca2014INForum.pdf | |document=Document for Publication-Carraca2014INForum.pdf | ||
|title=Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems | |title=Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems | ||
| - | |author=João Carraca, Ricardo Correia Pinto, João Pedro Craveiro, José Rufino, | + | |author=João Carraca, Ricardo Correia Pinto, João Pedro Craveiro, José Rufino, |
| - | |Project=Project:READAPT, Project:KARYON, | + | |Project=Project:READAPT, Project:KARYON, |
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | |ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | ||
|month=sep | |month=sep | ||
| Line 19: | Line 19: | ||
with Multiple Independent Levels of Safety and Security (MILS). | with Multiple Independent Levels of Safety and Security (MILS). | ||
|address=Porto, Portugal | |address=Porto, Portugal | ||
| - | |booktitle= | + | |booktitle=Proceedings of the 6th Simpósio de Informática (INFORUM) |
|pages=457-472 | |pages=457-472 | ||
}} | }} | ||
Latest revision as of 01:40, 23 July 2015
João Carraca, Ricardo Correia Pinto, João Pedro Craveiro, José Rufino
in Proceedings of the 6th Simpósio de Informática (INFORUM), Porto, Portugal, Sept. 2014, pp. 457–472.
Abstract: 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).
Download paper
Download Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems
Export citation
Project(s): Project:READAPT, Project:KARYON
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)
