Semantic Access Control Model: A Formal Specification

DOI10.1007/11555827_3zbMath1487.68077OpenAlexW1485734161MaRDI QIDQ5862660

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

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 controlauthorizationformal methods in securitydistributed systems security

Mathematics Subject Classification ID

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

Cites Work

• A multi-level view model for secure object-oriented databases
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantic Access Control Model: A Formal Specification