Kim, S. K.; Son, H. S.; Han, S. Y. Design and Implementation of Security OS: A Case Study. Comput. Inform. 2012, 27, 931–951.