Refinement-based specification and security analysis of separation kernels

• Main Authors: Zhao, Yongwang, Sanan, David, Zhang, Fuyuan, Liu, Yang
• 其他作者: School of Computer Science and Engineering
• 格式: Article
• 語言: English
• 出版: 2020
• 主題: Engineering::Computer science and engineering; Separation Kernels; ARINC 653
• 在線閱讀: https://hdl.handle.net/10356/144810
• 機構: Nanyang Technological University

Assurance of information-flow security by formal methods is mandated in security certification of separation kernels. As an industrial standard for improving safety, ARINC 653 has been complied with by mainstream separation kernels. Due to the new trend of integrating safe and secure functionalities...