L4Re Secure Separation Kernel CC - ergänzende Cybersecurity-Information

Diese Seite enthält ergänzende Informationen zum L4Re Secure Separation Kernel CC 1.0.2.

Das Softwarepaket L4Re Secure Separation Kernel CC 1.0.2 enthält die im „Security Target for L4Re Secure Separation Kernel CC 1.0.2” referenzierte Dokumentation zum sicheren Einsatz des L4Re Secure Separation Kernel CC 1.0.2 („Guidance Documentation”).

Ein Common-Criteria-konformer Einsatz des L4Re Secure Separation Kernel CC 1.0.2 ist nur unter Beachtung dieser Dokumentation möglich. Kernkonzept bittet Anwender des L4Re Secure Separation Kernel CC 1.0.2 ausdrücklich, Kernkonzept bei Fragen zum sicheren Einsatz des L4Re Secure Separation Kernel CC 1.0.2 zu kontaktieren.

Kernkonzept bietet Support für den L4Re Secure Separation Kernel CC 1.0.2 für die gesamte Laufzeit des Zertifikats an. Security Advisories und Updates für sicherheitskritische Schwachstellen werden nur unter der L4Re Security Support Option, die Kernkonzept zusammen mit dem L4Re Secure Separation Kernel CC 1.0.2 anbietet, zur Verfügung gestellt.

Bittet melden Sie Fehler und potenzielle sicherheitskritische Issues PGP-verschlüsselt an security@kernkonzept.com.

Fingerprint: C4DC 2909 A22E D080 C012 5373 4055 CBA2 A4FD 855B

Öffentlicher Schlüssel: download

Security Advisories werden nur nicht-öffentlich unter der L4Re Security Support Option zur Verfügung gestellt.