Lattice-Based Information Flow Control-by-Construction for Security-by-Design.

Tobias Runge, Alexander Knppel, Thomas Thm, Ina Schaefer

Browse the full ICSE paper archive.