Formal Specification of a Generic Separation Kernel

MaRDI QIDQ7361293FDO

Authors Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz

Publication date 18 July 2014

Cites work

• A comparison of semantic models for noninterference
• Balancing the load. Leveraging a semantics stack for systems verification
• Design and verification of microprocessor systems for high-assurance applications
• Unnamed Publication
• Unnamed Publication
• Noninterference for operating system kernels
• Noninterference with Local Policies
• Operating system verification---an overview
• Proving fairness and implementation correctness of a microkernel scheduler

This page was built for software: Formal Specification of a Generic Separation Kernel