A Linear Logic of Authorization and Knowledge

DOI10.1007/11863908_19zbMath1487.68060OpenAlexW1535318411MaRDI QIDQ5862524

Michael K. Reiter, Deepak Garg, Kevin D. Bowers, Lujo Bauer, Frank Pfenning

Publication date: 9 March 2022

Published in: Computer Security – ESORICS 2006 (Search for Journal in Brave)

Full work available at URL: https://figshare.com/articles/journal_contribution/A_Linear_Logic_of_Authorization_and_Knowledge/6587540

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer security (68M25)

Related Items

On subexponentials, focusing and modalities in concurrent systems, Bounded memory Dolev-Yao adversaries in collaborative systems, A framework for linear authorization logics, Game Semantics for Access Control, Proof search and certificates for evidential transactions

Cites Work

• Structural cut elimination. I: Intuitionistic and classical logic
• Logic Programming with Focusing Proofs in Linear Logic
• A Logic of Access Control
• Unnamed Item
• Unnamed Item