The Timed Decentralized Label Model

Student thesis: Master thesis (including HD thesis)

  • Michael Hedegaard Sørensen
  • Martin Leth Pedersen
4. term, Software, Master (Master Programme)
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.
LanguageEnglish
Publication date2 Jun 2015
Number of pages65
ID: 213395329