Consumable credentials in linear-logic-based access-control systems. NDSS (2007)

by K D Bowers, L Bauer, D Garg, F Pfenning, M K Reiter