Semantic access control model: a formal specification

DOI10.1007/11555827_3MaRDI QIDQ5862660zbMATH OpenOpenAlexFDO

Authors Mariemma I. Yagüe, María del Mar Gallardo, Antonio Maña

Publication date 9 March 2022

Published in Computer Security – ESORICS 2005 (Search for Journal in Brave)

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

zbMATH Keywords

access controlauthorizationdistributed systems securityformal methods in security

Mathematics Subject Classification ID

Distributed systems (68M14) Computer security (68M25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An authorization model and its formal semantics
• A Temporal Semantic-Based Access Control Model
• A metamodel of access control for distributed environments: applications and properties
• A computational model of XACML-based access control management in distributed networks
• Graph-based specification of access control policies

Cites work

• A multi-level view model for secure object-oriented databases
• scientific article; zbMATH DE number 1810473 (Why is no real title available?)
• scientific article; zbMATH DE number 1890630 (Why is no real title available?)

Cited in

(10)

• A meta-model of access control in a fibred security language
• A Formal Model and Correctness Proof for an Access Control Policy Framework
• An access control language based on term rewriting and description logic
• SDAC: a new software-defined access control paradigm for cloud-based systems
• A Temporal Semantic-Based Access Control Model
• scientific article; zbMATH DE number 1189388 (Why is no real title available?)
• A metamodel of access control for distributed environments: applications and properties
• A computational model of XACML-based access control management in distributed networks
• A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty
• An authorization model and its formal semantics

This page was built for publication: Semantic access control model: a formal specification

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