A noninterference trusted dual system security guarantee method based on secure memory

Yu Hong, Yi Li, Haining Tan. A noninterference trusted dual system security guarantee method based on secure memory. Concurrency - Practice and Experience, 35(2), January 2023. [doi]

Abstract

Abstract is missing.