Formal Verification Method of Secure Operating System Based on Isabelle/HOL
GUO Yi, YANG Wei-yong, LIU Wei
Computer and Modernization . 2017, (4): 99 -104 .  DOI: 10.3969/j.issn.1006-2475.2017.04.0020