Cloud and the Law Blockchain : A Panacea for Healthcare Cloud-Based Data Security and Privacy ?
A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification