"Modelling and Verification of Dynamic Role-Based Access Control."

Inna Vistbakka, Elena Troubitsyna (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics