Algebra and logic for access control

DOI10.1007/S00165-009-0107-XzbMATH Open1202.68264OpenAlexW2063649525WikidataQ130866196 ScholiaQ130866196MaRDI QIDQ968301FDOQ968301

David Pym, Matthew Collinson

Publication date: 5 May 2010

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-009-0107-x

Recommendations

• Logics in access control: a conditional approach
• Logic in Access Control (Tutorial Notes)
• Access control, security, and trust. A logical approach.
• A logic of access control
• A logic of access control

zbMATH Keywords

modal logicsystems modellingprocess calculusaccess controlcalculus of resources

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
• The semantics and proof theory of the logic of bunched implications
• Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
• Algebra and logic for resource-based systems modelling
• A logical and computational theory of located resource
• Algebraic laws for nondeterminism and concurrency
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Logic of Bunched Implications
• BI as an assertion language for mutable data structures
• A calculus and logic of resources and processes
• Calculi for synchrony and asynchrony
• A calculus of communicating systems
• Resources, concurrency, and local reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Beyond separation of duty

Cited In (3)

• Temporal BI: proof system, semantics and translations
• Title not available (Why is that?)
• Logic in Access Control (Tutorial Notes)

Uses Software

• Binder

This page was built for publication: Algebra and logic for access control

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