Research on Microkernel-based Power Dedicated Secure Operating System. - Jun Chen; Wei Liu 070; Xiaoliang Lv; Deliang Ji; Jia Shi; Bo Li 005 (J. Signal Process. Syst., 2019)