Verified Microkernel: la cura para todas las vulnerabilidades del sistema operativo Linux?
De acuerdo con los investigadores de seguridad, vulnerabilidades de Linux podrían mitigarse completamente o “disminución” a “menos-que-crítico” gravedad a través de un diseño de OS que se basa en un microkernel verificado. Para probar su punto, un grupo de investigadores académicos y respaldados por el gobierno lleve a cabo una…