A master thesis from Aalborg University
The Timed Decentralized Label Model
[Tidsbaseret Decentraliseret Label Model]
Author(s)
Term
4. term
Education
Publication year
2015
Submitted on
2015-06-01
Pages
65 pages
Abstract
Information flow and access control are subjects in the area of computer security where extensive research has been performed. However, research in regards to time-based information flow and access control have received limited attention and as such no time-based security models based on information flow and access control have been developed. The Timed Decentralized Label Model (TDLM) that takes timed information flow and access control into account was developed. The TDLM is based on timed automata and as such it is formally defined via the use of these, however an implementation of the model is yet to be developed. As such further study is needed in regards to a complete implementation of the TDLM which perhaps could be a new programming language or an extension to the implementation of the model the TDLM is based on. UPPAAL could be used in the implementation to statically verify that security policies are enforced correctly.
Keywords
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.