Modeling, analyzing, and consistency checking privacy requirements using eddy

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]

Authors

Daniel Smullen

This author has not been identified. Look up 'Daniel Smullen' in Google

Travis D. Breaux

This author has not been identified. Look up 'Travis D. Breaux' in Google