TY - Front. Comput. Sci. A1 - Yongwang ZHAO, Zhibin YANG, Dianfu MA T1 - A survey on formal specification and verification of separation kernels Y1 - 2017-07-26 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 585 EP - 607 VL - 11 IS - 4 UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-016-4226-2 ER -