@inproceedings{Shaffer2008A-Security-Doma, Address = {Tucson, AZ},
Author = {Alan Shaffer and Mikhail Augustion and Cynthia Irvine and Timothy Levin},
Booktitle = {Proceedings of the ACM SIGPLAN Third Workshop on Programming Languages and Analysis for Security (PLAS'08)},
Month = {June},
Pages = {45-56},
Title = {A Security Domain Model to Assess Software for Exploitable Covert Channels},
Year = {2008}}