Algebra and logic for access control

DOI10.1007/S00165-009-0107-XMaRDI QIDQ968301zbMATH OpenOpenAlexWikidataFDO

Authors Matthew Collinson, David 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 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)

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

Cites work

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

Cited in

(7)

• Temporal BI: proof system, semantics and translations
• scientific article; zbMATH DE number 1980974 (Why is no real title available?)
• Tableaux methods for access control in distributed systems
• Logic in Access Control (Tutorial Notes)
• Access control, security, and trust. A logical approach.
• Compiled labelled deductive systems for access control
• Multilevel thematic-hierarchical access control (MLTHS-system)

Describes a project that uses

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)