![](/img/cover-not-exists.png)
Work-Based Access Control Model for Cooperative Healthcare Environments: Formal Specification and Verification
Abomhara, Mohamed, Yang, Huihui, Køien, Geir M., Lazreg, Mehdi BenVolume:
1
Language:
english
Journal:
Journal of Healthcare Informatics Research
DOI:
10.1007/s41666-017-0004-7
Date:
June, 2017
File:
PDF, 1.05 MB
english, 2017