Extended BLP security model based on process reliability for secure Linux kernel | IEEE Conference Publication | IEEE Xplore