A linear logic of authorization and knowledge

DOI10.1007/11863908_19MaRDI QIDQ5862524zbMATH OpenOpenAlexFDO

Authors Deepak Garg, Lujo Bauer, Kevin D. Bowers, Michael K. Reiter, 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)

Recommendations

• On the complexity of linear authorization logics
• A framework for linear authorization logics
• Reasoning about resources and information: a linear logic approach
• A Logic for State-Modifying Authorization Policies
• Logical approaches to authorization policies

Cites work

• scientific article; zbMATH DE number 1954103 (Why is no real title available?)
• scientific article; zbMATH DE number 1999226 (Why is no real title available?)
• A logic of access control
• Logic Programming with Focusing Proofs in Linear Logic
• Structural cut elimination. I: Intuitionistic and classical logic

Cited in

(10)

• On subexponentials, focusing and modalities in concurrent systems
• Compact proof certificates for linear logic
• Bounded memory Dolev-Yao adversaries in collaborative systems
• A Logic for State-Modifying Authorization Policies
• Proof search and certificates for evidential transactions
• On the complexity of linear authorization logics
• Game semantics for access control
• A framework for linear authorization logics
• Towards the knowledge in coalgebraic model of IDS
• Minimal modal logics, constructive modal logics and their relations

This page was built for publication: A linear logic of authorization and knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5862524)