Access Control Model for Cooperative Healthcare Environments: Modeling and Verification

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]

Authors

Mohamed Abomhara

This author has not been identified. Look up 'Mohamed Abomhara' in Google

Huihui Yang

This author has not been identified. Look up 'Huihui Yang' in Google

Geir M. Køien

This author has not been identified. Look up 'Geir M. Køien' in Google