Refinement-based specification and security analysis of separation kernels

• المؤلفون الرئيسيون: Zhao, Yongwang, Sanan, David, Zhang, Fuyuan, Liu, Yang
• مؤلفون آخرون: School of Computer Science and Engineering
• التنسيق: مقال
• اللغة: English
• منشور في: 2020
• الموضوعات: Engineering::Computer science and engineering; Separation Kernels; ARINC 653
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/144810

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...