A security domain model to assess software for exploitable covert channels

Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin. A security domain model to assess software for exploitable covert channels. In Ăšlfar Erlingsson, Marco Pistoia, editors, Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008. pages 45-56, ACM, 2008. [doi]

Authors

Alan B. Shaffer

This author has not been identified. Look up 'Alan B. Shaffer' in Google

Mikhail Auguston

This author has not been identified. Look up 'Mikhail Auguston' in Google

Cynthia E. Irvine

This author has not been identified. Look up 'Cynthia E. Irvine' in Google

Timothy E. Levin

This author has not been identified. Look up 'Timothy E. Levin' in Google