A Linear Logic of Authorization and Knowledge - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter. A Linear Logic of Authorization and Knowledge. In Dieter Gollmann, Jan Meier, Andrei Sabelfeld, editors, Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings. Volume 4189 of Lecture Notes in Computer Science, pages 297-312, Springer, 2006. [doi]

This author has not been identified. It may be one of the following persons:

Look up 'Deepak Garg' in GoogleThis author has not been identified. It may be one of the following persons:

Lujo Bauer

Look up 'Lujo Bauer' in GoogleThis author has not been identified. Look up 'Kevin D. Bowers' in GoogleIdentified as Frank Pfenning This author has not been identified. Look up 'Michael K. Reiter' in Google

runs on WebDSL