Variations in Access Control Logic

DOI10.1007/978-3-540-70525-3_9zbMath1143.03342OpenAlexW1557228712MaRDI QIDQ3522044

Martín Abadi

Publication date: 28 August 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70525-3_9

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (8)

Logic in Access Control (Tutorial Notes) ⋮ A Conditional Constructive Logic for Access Control and Its Sequent Calculus ⋮ A theory of permission based on the notion of derogation ⋮ Formal Reasoning Using Distributed Assertions ⋮ Game Semantics for Access Control ⋮ Fibred security language ⋮ A meta-model of access control in a fibred security language ⋮ Noninterference in a predicative polymorphic calculus for access control

This page was built for publication: Variations in Access Control Logic