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

by K D Bowers, L Bauer, D Garg, F Pfenning, M K Reiter
Venue:In Network and Distributed System Security Symposium