Refinement-Based Specification and Security Analysis of Separation Kernels

Yongwang Zhao, David SanĂ¡n, Fuyuan Zhang, Yang Liu 0003. Refinement-Based Specification and Security Analysis of Separation Kernels. IEEE Trans. Dependable Sec. Comput., 16(1):127-141, 2019. [doi]

Abstract

Abstract is missing.