Time dependent policy-based access control

DOI10.4230/LIPICS.TIME.2017.21MaRDI QIDQ6487470zbMATH OpenFDO

Authors Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson

Publication date 3 February 2023

Full work available at URL https://doi.org/10.4230/LIPICS.TIME.2017.21

zbMATH Keywords

access controltime-dependent policiestimed automataUPPAAL

Mathematics Subject Classification ID

Temporal logic (03B44) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Concurrency and time in role-based access control
• scientific article; zbMATH DE number 1890630
• Verification and enforcement of access control policies
• Specifying and Reasoning About Dynamic Access-Control Policies
• On the decidability of the safety problem for access control policies

Cited in

(2)

• Building access control policy model for privacy preserving and testing policy conflicting problems
• A Temporal Semantic-Based Access Control Model

This page was built for publication: Time dependent policy-based access control

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