Extended BLP Security Model Based on Process Reliability for Secure Linux Kernel. - Jung-Min Kang; Wook Shin; C.-G. Park; Dong-Ik Lee (PRDC, 2001)