Daniel Smullen, Travis D. Breaux. Modeling, analyzing, and consistency checking privacy requirements using eddy. In William L. Scherlis, David Brumley, editors, Proceedings of the Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, USA, April 19-21, 2016. pages 118-120, ACM, 2016. [doi]
@inproceedings{SmullenB16,
title = {Modeling, analyzing, and consistency checking privacy requirements using eddy},
author = {Daniel Smullen and Travis D. Breaux},
year = {2016},
doi = {10.1145/2898375.2898381},
url = {http://doi.acm.org/10.1145/2898375.2898381},
researchr = {https://researchr.org/publication/SmullenB16},
cites = {0},
citedby = {0},
pages = {118-120},
booktitle = {Proceedings of the Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, USA, April 19-21, 2016},
editor = {William L. Scherlis and David Brumley},
publisher = {ACM},
isbn = {978-1-4503-4277-3},
}