Kim, S.K. et al. 2012. Design and Implementation of Security OS: A Case Study. Computing and Informatics. 27, 6 (Jan. 2012), 931–951.