For most use cases (Threat model) Gnu/Linux is reasonably secure if someone doesn't do stupid things and update it frequently. Every human action have associated probability of failure, operating systems are not exceptions.
Formal verification of an OS microkernel should be an ideal, but I don't know whether any operating system based on f.v. microkernel for desktop use-cases exists.
For me OpenBSD is good balance between ideally secure OS and functionality.
|