Report - Efficient Proving for Practical Distributed Access-Control ...reiter/papers/2007/ESORICS.pdf · Efficient Proving for Practical Distributed Access-Control Systems Lujo Bauer 1,

Please pass captcha verification before submit form