License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.TIME.2017.21
URN: urn:nbn:de:0030-drops-79219
Go to the corresponding LIPIcs Volume Portal

Vasilikos, Panagiotis ; Nielson, Flemming ; Nielson, Hanne Riis

Time Dependent Policy-Based Access Control

LIPIcs-TIME-2017-21.pdf (0.6 MB)


Access control policies are essential to determine who is allowed to access data in a system without compromising the data's security. However, applications inside a distributed environment may require those policies to be dependent on the actual content of the data, the flow of information, while also on other attributes of the environment such as the time.

In this paper, we use systems of Timed Automata to model distributed systems and we present a logic in which one can express time-dependent policies for access control. We show how a fragment of our logic can be reduced to a logic that current model checkers for Timed Automata such as UPPAAL can handle and we present a translator that performs this reduction. We then use our translator and UPPAAL to enforce time-dependent policy-based access control on an example application from the aerospace industry.

BibTeX - Entry

  author =	{Panagiotis Vasilikos and Flemming Nielson and Hanne Riis Nielson},
  title =	{{Time Dependent Policy-Based Access Control}},
  booktitle =	{24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
  pages =	{21:1--21:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-052-1},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{90},
  editor =	{Sven Schewe and Thomas Schneider and Jef Wijsen},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-79219},
  doi =		{10.4230/LIPIcs.TIME.2017.21},
  annote =	{Keywords: Access Control, Timed Automata, Time-Dependent Policies, UPPAAL}

Keywords: Access Control, Timed Automata, Time-Dependent Policies, UPPAAL
Collection: 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
Issue Date: 2017
Date of publication: 25.09.2017

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI