DeYoung, Henry; Garg, Deepak; Kaynar, Dilsun; Datta, Anupam - 2010
Despite the wide array of frameworks proposed for the formal specification and analysis of privacy laws, there has been comparatively little work on expressing large fragments of actual privacy laws in these frameworks. We attempt to bridge this gap by presenting what we believe to be the most...