A security domain model to assess software for exploitable covert channels.

Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin

Browse the full PLDI paper archive.