Efficient Proving for Practical Distributed Access-Control Systems.

Lujo Bauer, Scott Garriss, Michael K. Reiter

Browse the full ESORICS paper archive.