A Valid and Correct-by-Construction Formal Specification of RBAC
Gadouche, Hania, Farah, Zoubeyr, Tari, AbdelkamelVolume:
14
Journal:
International Journal of Information Security and Privacy
DOI:
10.4018/IJISP.2020040103
Date:
April, 2020
File:
PDF, 1.62 MB
2020