TU Berlin

Security in TelecommunicationsL4OpenBSD

isti-logo

Inhalt des Dokuments

zur Navigation

L4OpenBSD

OpenBSD is a free, multi-platform 4.4BSD-based UNIX-like operating system. The development focus is on strong security. In the past, the OpenBSD project has come up with a number of new technologies to fix security problems in software.
Even though OpenBSD has had a good security record for a very long time now, there are still bugs which may cause severe damage to the whole system. Our solution strives to take it to the next level. The OpenBSD kernel runs as a deprivileged userland application on top of a microkernel. That allows to isolate security critical parts from the rest of the system.

See l4openbsd.org for more details on this project.

 

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe