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
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/