Efficient Proving for Practical Distributed Access-Control Systems.

Lujo Bauer Scott Garriss Michael K. Reiter

Published in: ESORICS (2007)

Keyphrases

access control systems
lightweight
distributed environment
cooperative
distributed systems
databases
multi agent
mobile agents