Brant Hashii. Lessons learned using alloy to formally specify MLS-PCA trusted security architecture. In Vijayalakshmi Atluri, Michael Backes, David A. Basin, Michael Waidner, editors, Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washingtion, DC, USA, October 29, 2004. pages 86-95, ACM, 2004. [doi]
@inproceedings{Hashii04,
title = {Lessons learned using alloy to formally specify MLS-PCA trusted security architecture},
author = {Brant Hashii},
year = {2004},
doi = {10.1145/1029133.1029145},
url = {http://doi.acm.org/10.1145/1029133.1029145},
tags = {architecture, security},
researchr = {https://researchr.org/publication/Hashii04},
cites = {0},
citedby = {0},
pages = {86-95},
booktitle = {Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washingtion, DC, USA, October 29, 2004},
editor = {Vijayalakshmi Atluri and Michael Backes and David A. Basin and Michael Waidner},
publisher = {ACM},
isbn = {1-58113-971-3},
}