Time dependent policy-based access control

Research output: Contribution to journalConference article – Annual report year: 2017Researchpeer-review

Documents

DOI

View graph of relations

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.
Original languageEnglish
JournalLeibniz International Proceedings in Informatics
Volume90
Number of pages18
ISSN1868-8969
DOIs
Publication statusPublished - 2017
Event24th International Symposium on Temporal Representation and Reasoning - Mons, Belgium
Duration: 16 Oct 201718 Oct 2017

Conference

Conference24th International Symposium on Temporal Representation and Reasoning
CountryBelgium
CityMons
Period16/10/201718/10/2017
CitationsWeb of Science® Times Cited: No match on DOI

    Research areas

  • Software, Access control, Time-dependent policies, Timed automata, UPPAAL, Aerospace industry, Automata theory, Computer circuits, Model checking, Network security, Access control policies, Current modeling, Distributed environments, Distributed systems, Policy based access control, Time dependent, Timed Automata, Computer Theory (Includes Formal Logic, Automata Theory, Switching Theory and Programming Theory), Computer Circuits, Computer Software, Data Handling and Applications
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

Download statistics

No data available

ID: 138542359