Published January 19, 2016
| Version v1
Conference paper
Open
Content-Dependent Security Policies in Avionics
- 1. Department of Applied Mathematics and Computer Science, Technical University of Denmark
Description
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
07-Article.pdf
Files
(235.0 kB)
Name | Size | Download all |
---|---|---|
md5:03c2713fb029beb762b9f64531ce4bde
|
235.0 kB | Preview Download |