A master thesis from Aalborg University
C Timed Information Flow
Author(s)
Term
4. term
Education
Publication year
2016
Submitted on
2016-05-31
Pages
84 pages
Abstract
This report describes C Timed Information Flow (CTIF). CTIF a tool which can take new and existing C source code, extending upon the syntax with the concept of security policy labels. The tool can then, based on the labeling, perform a check while providing information about any potential breaches of security as labeled information flows through the program. These security policy labels are based on The Decentralized Label Model (DLM). The report takes important concepts of DLM and provides an extended description as well as formalization in regards to the inferrence of security policy labels. Additionally, an extension to the security policies is provided, by allowing the expression of time policies, which similarly will be checked by the tool. The time policies were created with simplicity and practical applications in mind. As a first step in formalizing the time policies it will be shown how they can be translated into timed automata. In order to ascertain the practical applications, the time policies will be compared with The Timed Decentralized Label Model - which takes a more formal approach.
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.