Khaled M. Khan, Yun Bai. Automatic verification of health regulatory compliance in cloud computing. In IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, Lisbon, Portugal, October 9-12, 2013. pages 719-721, IEEE, 2013. [doi]
Abstract is missing.