Modelling and Verification of Dynamic Role-Based Access Control.

Inna Vistbakka, Elena Troubitsyna

Browse the full VECoS paper archive.