Over 20 years of research into cybersecurity and safety engineering: a short bibliography Page
352 Safety and Security Engineering VI 335 Over 20 years of research into cybersecurity and …

Separation kernels are fundamental software of safety and security-critical systems, which
provide their hosted applications with spatial and temporal separation as well as controlled …

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 …

Separation kernels provide temporal/spatial separation and controlled information flow to
their hosted applications. They are introduced to decouple the analysis of applications in …

Introduction: In developing safety and security-critical systems, separation kernel acts as a
primary foundation, which provides spatial as well as temporal separation. The separation …

Mobile operating systems such as Android are facing serious security risk. First, they have a
large number of users and store a large number of users' private data, which have become …

Abstract Information flow control (IFC) can effectively resist Trojans and viruses that steal
information from systems, and is usually adopted to protect the confidentiality of systems with …