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]
@inproceedings{ShafferAIL08,
title = {A security domain model to assess software for exploitable covert channels},
author = {Alan B. Shaffer and Mikhail Auguston and Cynthia E. Irvine and Timothy E. Levin},
year = {2008},
doi = {10.1145/1375696.1375703},
url = {http://doi.acm.org/10.1145/1375696.1375703},
tags = {security, e-science},
researchr = {https://researchr.org/publication/ShafferAIL08},
cites = {0},
citedby = {0},
pages = {45-56},
booktitle = {Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008},
editor = {Úlfar Erlingsson and Marco Pistoia},
publisher = {ACM},
isbn = {978-1-59593-936-4},
}