Refinement-based specification and security analysis of separation kernels

• Main Authors: Zhao, Yongwang, Sanan, David, Zhang, Fuyuan, Liu, Yang
• Other Authors: School of Computer Science and Engineering
• Format: Article
• Language: English
• Published: 2020
• Subjects: Engineering::Computer science and engineering; Separation Kernels; ARINC 653
• Online Access: https://hdl.handle.net/10356/144810
• Institution: 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...