Design and Implementation of Security OS: A Case Study. - Seong Ki Kim; Hae Sung Son; Sang Yon Han (Comput. Informatics, 2008)