Title :
A bandwidth computation model for covert storage channels and its applications
Author :
Tsai, Chii-Ren ; Gligor, Virgil D.
Author_Institution :
Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
Abstract :
A Markov model for bandwidth computation and its application to Secure Xenix are presented. The model can be used for computing the bandwidth of both individual channels and aggregated channels (i.e. serial and parallel aggregation). Using this model, a tool has been built and experiments conducted to determine the factors that affect the bandwidth of covert storage channels (noise, scheduling delays, load, etc.). The tool can be used to compute the minimum delays for each channel under various loads and program behavior. Thus, it allows the placement of dynamically adjustable delays in multiprogrammed systems, which guarantees minimum performance impact
Keywords :
Markov processes; multiprogramming; operating systems (computers); security of data; storage management; Markov model; Secure Xenix; aggregated channels; bandwidth computation; bandwidth computation model; covert storage channels; dynamically adjustable delays; load; multiprogrammed systems; noise; performance impact; program behavior; scheduling delays; Added delay; Bandwidth; Computational modeling; Concurrent computing; Degradation; Educational institutions; Operating systems; Processor scheduling; Secure storage; Storage automation;
Conference_Titel :
Security and Privacy, 1988. Proceedings., 1988 IEEE Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-0850-1
DOI :
10.1109/SECPRI.1988.8103
