Rosalía Arroyo

La seguridad del kernel, a prueba

Investigadores de Australia han demostrado una manera de comprobar que el núcleo del software de los sistemas de misión crítica es seguro.