Marcelo Antonio de Carvalho, Paulo Bandiera-Paiva. Evaluating ISO 14441 privacy requirements on role based access control (RBAC) restrict mode via Colored Petri Nets (CPN) modeling. In International Carnahan Conference on Security Technology, ICCST 2017, Madrid, Spain, October 23-26, 2017. pages 1-8, IEEE, 2017. [doi]
Abstract is missing.