Automated Certification of Authorisation Policy Resistance.

Andreas Griesmayer, Charles Morisset

Browse the full ESORICS paper archive.