Kevin D. Bowers, Lujo Bauer, Deepak Garg, Frank Pfenning, Michael K. Reiter. Consumable Credentials in Linear-Logic-Based Access-Control Systems. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2007, San Diego, California, USA, 28th February - 2nd March 2007. The Internet Society, 2007. [doi]
Abstract is missing.