A Linear Logic of Authorization and Knowledge.

Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter

Browse the full ESORICS paper archive.