List of security-focused operating systems
Jump to navigation
Jump to search
Template:Short description Template:Use dmy dates
This is a list of operating systems specifically focused on security. Similar concepts include security-evaluated operating systems that have achieved certification from an auditing organization, and trusted operating systems that provide sufficient support for multilevel security and evidence of correctness to meet a particular set of requirements.
Linux
Android-based
- GrapheneOS is a privacy and security-focused mobile operating system for Google Pixel smartphones and tablets.
Debian-based
- Tails is aimed at preserving privacy and anonymity.<ref>Template:Cite web</ref>
- Whonix consists of two virtual machines. All communications are routed through Tor.<ref>Template:Cite web</ref><ref>Template:Cite web</ref><ref>Template:Cite web</ref>
- Linux Kodachi is a security-focused operating system.<ref>Template:Cite web</ref>
Other Linux distributions
- Alpine Linux is designed to be small, simple, and secure.<ref>Template:Cite web</ref> It uses musl, BusyBox, and OpenRC instead of the more commonly used glibc, GNU Core Utilities, and systemd.<ref>Template:Cite web</ref>
- Owl - Openwall GNU/Linux, a security-enhanced Linux distribution for servers.
BSD
- OpenBSD is a Unix-like operating system that emphasizes portability, standardization, correctness, proactive security, and integrated cryptography.<ref>Template:Cite web</ref>
Xen
- Qubes OS aims to provide security through isolation.<ref>Template:Cite web</ref> Isolation is provided through the use of virtualization technology. This allows the segmentation of applications into secure virtual machines.