Mohamed Abomhara, Huihui Yang, Geir M. Køien. Access Control Model for Cooperative Healthcare Environments: Modeling and Verification. In 2016 IEEE International Conference on Healthcare Informatics, ICHI 2016, Chicago, IL, USA, October 4-7, 2016. pages 46-54, IEEE Computer Society, 2016. [doi]
Abstract is missing.