Conference paper Open Access
Content-Dependent Security Policies in Avionics
Maciazek, Tomasz; Nielson, Hanne Riis; Nielson, Flemming
We describe a tool (CBIF) for Content-Based Information Flow Control for a subset of the C programming language and show how to use it on applications from the avionics industry. In particular, we consider the secure gateways used in the separation kernels of operating systems designed according to the principles of Multiple Independent Levels of Security (MILS).
Files
(235.0 kB)
| Name | Size | |
|---|---|---|
|
07-Article.pdf
md5:03c2713fb029beb762b9f64531ce4bde |
235.0 kB | Download |
14
10
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 14 | 14 |
| Downloads | 10 | 10 |
| Data volume | 2.3 MB | 2.3 MB |
| Unique views | 13 | 13 |
| Unique downloads | 8 | 8 |
Indexed in
- Publication date:
- January 19, 2016
- DOI:
-
- Keyword(s):
- MILS
- Meeting:
- International Workshop on MILS: Architecture and Assurance for Secure Systems, Prague, 19 January 2016
- Communities:
- License (for files):
- Creative Commons Attribution 4.0 International