Sichere mikrokernbasierte Systemarchitektur (µSINA)

Links:

Sichere Inter-Netzwerk Architektur (SINA)

ein Projekt des Bundesamts für Sicherheit in der Informationstechnik (BSI)
Produktdatenblatt

DROPS - The Dresden Real-Time Operating System Project

Publikationen der Professur Betriebssysteme an der TU Dresden

Mikrokern Fiasco

Implementierung der L4-Mikrokernschnittstelle für x86

VFiasco - Verified Fiasco

Automatische Verifikation sicherheitsrelevanter Eigenschaften eines Mikrokerns (Fiasco) mit Hilfe eines Theorembeweisers

Allgemeine Informationen zu Mikrokernbetriebssystemen

Microkernel-based OS efforts
Microkernel-based Operating Systems and Other Similar Systems

L4 Developer's Bibliography

Entwicklerspezifische Informationen zu Mikrokernen mit L4-Schnittstelle

Zeitschriften

ACM Transactions

Computer Systems (TOCS)
Information and System Security (TISSEC)

IEEE Transactions

Computers
Networking

Konferenzen

ACM Conference on Computer and Communications Security (CCS)

ACM Symposium on Operating Systems Principles (SOSP)

IEEE Symposium on Security and Privacy (SRSP)

USENIX Symposium on Operating Systems Design and Implementation (OSDI)

USENIX Symposium on Security (Security)

USENIX Workshop on Hot Topics in Operating Systems (HotOS)