Dynamics in Delegation and Revocation Schemes: A Logical Approach.

Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert W. N. van der Torre

Browse the full DBSEC paper archive.