Secure Trusted Operating System Based on Microkernel Architecture. - De Jian Li; Hui Wang; Xiao Ke Tang; Li Xin Yang; Chong Fei Shen; Kun Xiao (ICICT (3), 2021)