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]
@inproceedings{LamMS09,
title = {A Formalization of HIPAA for a Medical Messaging System},
author = {Peifung E. Lam and John C. Mitchell and Sharada Sundaram},
year = {2009},
doi = {10.1007/978-3-642-03748-1_8},
url = {http://dx.doi.org/10.1007/978-3-642-03748-1_8},
tags = {C++, e-science},
researchr = {https://researchr.org/publication/LamMS09},
cites = {0},
citedby = {0},
pages = {73-85},
booktitle = {Trust, Privacy and Security in Digital Business, 6th International Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009. Proceedings},
editor = {Simone Fischer-Hübner and Costas Lambrinoudakis and Günther Pernul},
volume = {5695},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-03747-4},
}