De Jian Li, Hui Wang, Xiao Ke Tang, Li-Xin Yang, Chong Fei Shen, Kun Xiao. Secure Trusted Operating System Based on Microkernel Architecture. In Xin-She Yang, Simon Sherratt, Nilanjan Dey, Amit Joshi, editors, Proceedings of Sixth International Congress on Information and Communication Technology - ICICT 2021, London, Volume 3. Volume 216 of Lecture Notes in Networks and Systems, pages 173-188, Springer, 2021. [doi]
Abstract is missing.