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

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]

Authors

Kevin D. Bowers

This author has not been identified. Look up 'Kevin D. Bowers' in Google

Lujo Bauer

This author has not been identified. It may be one of the following persons: Look up 'Lujo Bauer' in Google

Deepak Garg

Identified as Deepak Garg
(Carnegie Mellon University
)

Frank Pfenning

Identified as Frank Pfenning
(Carnegie Mellon University
)

Michael K. Reiter

This author has not been identified. Look up 'Michael K. Reiter' in Google