Compositional and Scheduler-Independent Information Flow Security
Software pervades our society deeper with every year. This trend makes software security more and more important. For instance, software systems running critical infrastructures like power plants must withstand criminal or even terrorist attacks, but also smartphone apps used by consumers in their d...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English en |
| Published: |
2013
|
| Online Access: | http://tuprints.ulb.tu-darmstadt.de/3884/1/2014-04-12-sudbrock-dissertation-final.pdf Sudbrock, Henning <http://tuprints.ulb.tu-darmstadt.de/view/person/Sudbrock=3AHenning=3A=3A.html> : Compositional and Scheduler-Independent Information Flow Security. Technische Universität, Darmstadt [Ph.D. Thesis], (2013) |