Experiences in the logical specification of the HIPAA and GLBA privacy laws

Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta. Experiences in the logical specification of the HIPAA and GLBA privacy laws. In Ehab Al-Shaer, Keith B. Frikken, editors, Proceedings of the 2010 ACM Workshop on Privacy in the Electronic Society, WPES 2010, Chicago, Illinois, USA, October 4, 2010. pages 73-82, ACM, 2010. [doi]

Abstract

Abstract is missing.