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

Author(s): Kevin D. Bowers , Lujo Bauer, Deepak Garg, Frank Pfenning, Michael K. Reiter

Download: Paper (PDF)

Date: 28 Feb 2007

Document Type: Reports

Associated Event: NDSS Symposium 2007