An authorization model and its formal semantics

DOI10.1007/BFb0055860zbMath1487.68054MaRDI QIDQ5862296

Francesco Buccafurri, Elena Ferrari, Pasquale Rullo, Elisa Bertino

Publication date: 7 March 2022

Published in: Computer Security — ESORICS 98 (Search for Journal in Brave)

zbMATH Keywords

stable modelaccess control policyauthorization modelpredicate symbolaccess request

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer security (68M25)

Related Items (1)

A sound and complete model-generation procedure for consistent and confidentiality-preserving databases

Cites Work

• Stable models and their computation for logic programming with inheritance and true negation
• A Fixpoint Semantics for Ordered Logic
• Unnamed Item

This page was built for publication: An authorization model and its formal semantics