Consumable Credentials in Linear-Logic-Based Access-Control Systems.

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

Browse the full NDSS paper archive.