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
136
74
views
downloads
All versions This version
Views 136136
Downloads 7474
Data volume 17.4 MB17.4 MB
Unique views 116116
Unique downloads 6666

Share

Cite as