Dynamics in Delegation and Revocation Schemes: A Logical Approach

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]

Authors

Guillaume Aucher

This author has not been identified. Look up 'Guillaume Aucher' in Google

Steve Barker

This author has not been identified. Look up 'Steve Barker' in Google

Guido Boella

This author has not been identified. Look up 'Guido Boella' in Google

Valerio Genovese

This author has not been identified. Look up 'Valerio Genovese' in Google

Leendert van der Torre

This author has not been identified. Look up 'Leendert van der Torre' in Google