Automatic Covert Channel Analysis of a Multilevel Secure Component.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci

Browse the full ICICS paper archive.