Conference paper
Time dependent policy-based access control
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.
Language: | English |
---|---|
Year: | 2017 |
Proceedings: | 24th International Symposium on Temporal Representation and ReasoningInternational Symposium on Temporal Representation and Reasoning |
ISSN: | 18688969 |
Types: | Conference paper |
DOI: | 10.4230/LIPIcs.TIME.2017.21 |
ORCIDs: | Nielson, Flemming and Nielson, Hanne Riis |
Access control Access control policies Aerospace industry Automata theory Computer Circuits Computer Software, Data Handling and Applications Computer Theory (Includes Formal Logic, Automata Theory, Switching Theory and Programming Theory) Computer circuits Current modeling Distributed environments Distributed systems Model checking Network security Policy based access control Software Time dependent Time-dependent policies Timed Automata Timed automata UPPAAL