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]
Abstract is missing.