Investigadores australianos afirman que pueden probar, matemáticamente, que el código que han desarrollado, diseñado para controlar la seguridad de los sistemas, está libre de la mayoría de tipos de error. Se trata de la primera máquina de comprobación de errores para el kernel de un sistema operativo de propósito general. Al kernel se le llama microkernel seL4.
Aunque comprobar de forma rigurosa la calidad de un código es caro, el desarrollo de este tipo de pruebas tiene un efecto secundario, que es el de mejorar el software en general. La mayoría de las clases de ataque, como los que explotan vulnerabilidades de desbordamiento de buffer, no tendrían éxito con el microkernel seL4.
También se ha producido el nombramiento de Verónica Herrera Alonso como responsable del área de ciberseguridad…
Los socios certificados accederán a servicios de operaciones de día 2 para soluciones de API…
También anuncia el nombramiento de Raúl González como director comercial del sector público.
El evento para proveedores de servicios gestionados tendrá lugar en la finca Mirador de Cuatro…
Dispone de cuatro niveles diferenciados (Business, Silver, Gold y Platinum) y se presenta sin costes…
Con el objetivo de facilitar la creación de aplicaciones, ofrece a los ISV nuevas funcionalidades…