ETD RECORD

Covert timing channel analysis in MLS real-time systems

Citation

Son, Joon.. (2008). Covert timing channel analysis in MLS real-time systems. Theses and Dissertations Collection, University of Idaho Library Digital Collections. https://www.lib.uidaho.edu/digital/etd/items/etd_237.html

Title:
Covert timing channel analysis in MLS real-time systems
Author:
Son, Joon.
Date:
2008
Keywords:
Interactive computer systems--Security measures Computer security
Program:
Computer Science
Abstract:
Mathematical analysis of possible covert timing channels is a requirement for certification of high assurance Multi-Level Secure (MLS) systems. In this dissertation, we present a mathematical approach for analysis of covert timing channels in MLS real-time systems. This approach includes an analytical model which can specify the types of real-time tasks running, the real-time scheduling algorithm in use, and real-time constraints imposed on task executions. Using this analytical real-time system model, we characterize timing vulnerabilities present in real-time systems, present a methodology for measuring covert timing channel capacity, and devise countermeasures to remove or mitigate the impact of covert timing channels. Finally, we present a precise mathematical model for evaluating how performance overhead/delays of real-time systems vary with respect to the different degrees of security measures being applied.
Description:
Thesis (Ph. D., Computer Science)--University of Idaho, May 2008.
Major Professor:
Jim Alves-Foss.
Defense Date:
May 2008.
Type:
Text
Format Original:
xi, 115 leaves :ill. ;29 cm.
Format:
record

Contact us about this record

Rights
Rights:
In Copyright - Educational Use Permitted. For more information, please contact University of Idaho Library Special Collections and Archives Department at libspec@uidaho.edu.
Standardized Rights:
http://rightsstatements.org/vocab/InC-EDU/1.0/