Time dependent policy-based access control

DOI10.4230/LIPICS.TIME.2017.21zbMATH Open1515.68214MaRDI QIDQ6487470

Hanne Riis Nielson, Flemming Nielson, Panagiotis Vasilikos

Publication date: 3 February 2023

zbMATH Keywords

timed automataaccess controlUPPAALtime-dependent policies

Mathematics Subject Classification ID

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) Temporal logic (03B44)

Related Items (1)

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)