A Correct-by-Construction Model for Attribute-Based Access Control
2018 ◽
pp. 233-247
2021 ◽
Vol 1971
(1)
◽
pp. 012058
Keyword(s):