Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert van der Torre. Dynamics in Delegation and Revocation Schemes: A Logical Approach. In Yingjiu Li, editor, Data and Applications Security and Privacy XXV - 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011. Proceedings. Volume 6818 of Lecture Notes in Computer Science, pages 90-105, Springer, 2011. [doi]
Abstract is missing.