Peifung E. Lam, John C. Mitchell, Sharada Sundaram. A Formalization of HIPAA for a Medical Messaging System. In Simone Fischer-Hübner, Costas Lambrinoudakis, Günther Pernul, editors, Trust, Privacy and Security in Digital Business, 6th International Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009. Proceedings. Volume 5695 of Lecture Notes in Computer Science, pages 73-85, Springer, 2009. [doi]
Abstract is missing.