An authorization model and its formal semantics

DOI10.1007/BFB0055860MaRDI QIDQ5862296zbMATH OpenFDO

Authors Francesco Buccafurri, E. Ferrari, Pasquale Rullo, Elisa Bertino

Publication date 7 March 2022

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

Full work available at URL https://doi.org/10.1007/BFB0055860

zbMATH Keywords

access control policyaccess requestauthorization modelpredicate symbolstable model

Mathematics Subject Classification ID

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

Recommendations

• Authorization model in object-oriented systems
• Semantic access control model: a formal specification
• An authorization model for workflows
• A framework for linear authorization logics
• A Formal Model and Correctness Proof for an Access Control Policy Framework

Cites work

• A Fixpoint Semantics for Ordered Logic
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• Stable models and their computation for logic programming with inheritance and true negation

Cited in

(17)

• The design of role-based access control models. A formal approach to the derivation of access rights
• Logical approaches to authorization policies
• A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints
• scientific article; zbMATH DE number 1808268 (Why is no real title available?)
• Flexible support for multiple access control policies
• A Logic for State-Modifying Authorization Policies
• Towards Modal Logic Formalization of Role-Based Access Control with Object Classes
• scientific article; zbMATH DE number 1303977 (Why is no real title available?)
• A language for specifying sequences of authorization transformations and its applications
• scientific article; zbMATH DE number 1945792 (Why is no real title available?)
• scientific article; zbMATH DE number 1500475 (Why is no real title available?)
• scientific article; zbMATH DE number 2120043 (Why is no real title available?)
• An authorization model for workflows
• AURA
• A sound and complete model-generation procedure for consistent and confidentiality-preserving databases
• A formal semantics for SPKI
• Semantic access control model: a formal specification

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

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