Michael J. May Carl A. Gunter Insup Lee Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. 85-97 2006 conf/csfw/2006 CSFW http://doi.ieeecomputersociety.org/10.1109/CSFW.2006.24 db/conf/csfw/csfw2006.html#MayGL06