No, actualmente no. Hay un campo de estudio llamado “sistema operativo demostrablemente seguro” que propone una forma hipotética de crear dicho sistema (utiliza pruebas matemáticas formales para demostrar que todas las entradas posibles se manejan correctamente) pero el costo y la complejidad de desarrollar dicho sistema son prohibitivos . Un PSOS también sería muy, muy inflexible: no podría agregarle ningún software o invalidaría cualquier garantía de seguridad.
Dicho esto, hay algunos sistemas operativos que se someten a mucho más escrutinio de seguridad de lo que es típico: OpenBSD es un buen ejemplo. El equipo que desarrolla OpenBSD revisa proactivamente toda la base de código (para el sistema operativo central y muchas bibliotecas centrales, al menos) con frecuencia, lo que ha llevado a solo dos agujeros remotos en la última década más o menos. Por supuesto, esto significa que OpenBSD tiene algo menos de funcionalidad que otros sistemas operativos, y tan pronto como comience a agregar software, reducirá un poco la seguridad, pero podría decirse que es mucho más seguro que cualquier otra cosa. Si intentara construir un servicio muy seguro y ponerlo a disposición del público, comenzaría con OpenBSD como base.
- ¿Qué tan seguro es OpenSSH?
- ¿Alguna vez ha pirateado accidentalmente un software de seguridad porque era impaciente?
- ¿Cuáles son algunos eventos, tecnologías o desarrollos interesantes / significativos en ciberseguridad?
- ¿De qué sirve el firewall en la computadora para la seguridad de la red?
- Estoy haciendo un proyecto de último año para mi licenciatura en seguridad informática. ¿Qué tipo de proyecto o sistema sería un gran sistema para desarrollar?