Algebra and logic for access control

DOI10.1007/s00165-009-0107-xzbMath1202.68264OpenAlexW2063649525MaRDI QIDQ968301

Matthew Collinson, David J. Pym

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

zbMATH Keywords

modal logicaccess controlsystems modellingprocess calculuscalculus 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)

Related Items

Temporal BI: proof system, semantics and translations

Uses Software

• Binder

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus and logic of resources and processes
• Resources, concurrency, and local reasoning
• Calculi for synchrony and asynchrony
• A calculus of communicating systems
• 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
• Beyond separation of duty
• Algebra and logic for resource-based systems modelling
• A Logical and Computational Theory of Located Resource
• Algebraic laws for nondeterminism and concurrency
• The Logic of Bunched Implications
• BI as an assertion language for mutable data structures