Tidsbaseret Decentraliseret Label Model

Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  • Michael Hedegaard Sørensen
  • Martin Leth Pedersen
4. semester, Software, Kandidat (Kandidatuddannelse)
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.
SprogEngelsk
Udgivelsesdato2 jun. 2015
Antal sider65
ID: 213395329