Verbundvorhaben SeSaM (Secure and Safe Microkernel Made in Germany) - Teilvorhaben: Kriterien und Konzepte für eine modulare Security-Zertifizierung safety-kritischer Virtualisierungsplattformen