Products such as gateways, firewalls or network management systems that allow highly sensitive data traffic and the secure operation of critical infrastructures in connection with the internet, require an absolutely secure and robust operating system. While the connection of networks with differing secrecy protection levels is important for agencies or organizations with security tasks, controlling connections with sensitive interfaces like power plants, production and transportation facilities is crucial; as well as the approval of products for classification.
The open-source, microkernel-based L4Re Operating System Framework follows the principles of the minimal Trusted Computing Base (TCB) and of minimal privilege, aiming to minimize the attack surface of an application through modularization and to reduce dependencies between components.
The isolation and security properties, together with the integrated virtualization technology, allow the simultaneous use of security-critical applications and standard applications on one piece of hardware. The L4Re technology is the foundation for various application scenarios:
- Secure operation of critical infrastructures (e.g., gateways, servers, interfaces)
- Secure operation of IoT appliances (e.g., controls, gateways, servers, realtime systems)
- Certification of network devices and infrastructures (e.g., routers, switches, servers, edge devices)
Learn more about the characteristics of L4Re and about the principle of Security by Design, and explore application scenarios for L4Re in our 2-page data sheet.
Plan the system for your next high-assurance product with us!
