Design for a secure interoperable cloud-based Personal Health Record service | IEEE Conference Publication | IEEE Xplore