A Formalization of HIPAA for a Medical Messaging System.

Peifung E. Lam, John C. Mitchell, Sharada Sundaram

Browse the full TrustBus paper archive.