comment
IRC Chat
play_arrow
Este sitio utiliza cookies propias y de terceros. Si continúa navegando consideramos que acepta el uso de cookies. OK Más Información.

seL4, El kernel imposible de hackear

  • 0 Respuestas
  • 970 Vistas

0 Usuarios y 1 Visitante están viendo este tema.

Conectado graphixx

  • *
  • Moderador
  • Mensajes: 1288
  • Actividad:
    28.33%
  • Reputación 18
  • Científico de BIG DATA
    • Ver Perfil
    • Sistemas y Controles
« en: Septiembre 25, 2015, 08:27:05 pm »

Hace unas semanas, la agencia militar DARPA, la mismísima creadora de Internet, le entregó un helicóptero militar Boeing Little Bird a los hackers.

“Ahí lo tenéis, hackeadlo“.

Los hackers consiguieron controlar todos los sistemas menos el kernel, el núcleo del sistema operativo que controla las funciones críticas del software. Sin el control del kernel, la capacidad de hacer daño está muy limitada.

Dicho helicóptero estaba utilizando el nuevo kernel seL4desarrollado por la agencia australiana de seguridad nacional, Data 61. Según afirman, es imposible de hackear. Demasiadas veces hemos escuchado esta frase pero al parecer, es matemáticamente cierto. En efecto, sus creadores han demostrado matemáticamente que seL4 no se puede hackear.

Para que el kernel seL4 sea imposible de hackear, implementa funciones de seguridad extremas. Hace exactamente lo que tiene que hacer, y cualquier mínima alteración es detectada. No se puede alterar el código sin un permiso, y no se puede leer la memoria y los datos sin un permiso. Los datos están completamente aislados del propio kernel, y es capaz de ejecutar dos sistemas operativos al mismo tiempo, así que si uno es hackeado podría usarse el otro para detenerlo.

Según uno de sus creadores, Gernot Geiser: “espero que en 10 años cualquier dispositivo que requiera seguridad crítica utilice nuestro kernel o una variante de sus principios“.

El kernel seL4 se utilizará en equipo médico, automóviles sin conductor, satélites, centrales nucleares, dispositivos del Internet de las cosas, y otro hardware en donde la seguridad sea un elemento crítico. Una primera versión llamada OKL4 ya se emplea en muchos smartphones.

Según afirm Data61 las medidas extraordinarias de seguridad no interfieren en su rendimiento.

seL4 es un proyecto de código abierto en el que todo el mundo puede participar. Puedes obtener más información en la web de seL4.

Fuente:noticiasseguridad.com
« Última modificación: Septiembre 26, 2015, 10:00:02 pm por EPSILON »
No tienes permisos para ver links. Registrate o Entra con tu cuenta

 

¿Te gustó el post? COMPARTILO!



La NSA trató de hackear Google Play para espiar a todos los usuarios de Android

Iniciado por DaRK UnLiMiTeD

Respuestas: 2
Vistas: 1443
Último mensaje Junio 24, 2015, 01:44:12 pm
por Baxtar
El FBI podría tener autorización para hackear en casi cualquier lugar del mundo

Iniciado por HATI

Respuestas: 0
Vistas: 918
Último mensaje Abril 30, 2016, 10:29:40 pm
por HATI
John McAfee revela cómo puede Hackear un iPhone o cualquier ordenador en 30 min

Iniciado por graphixx

Respuestas: 0
Vistas: 1021
Último mensaje Marzo 02, 2016, 08:02:08 pm
por graphixx
El derecho a reparar gana en EEUU, ya es legal hackear dispositivos electronicos

Iniciado por Andrey

Respuestas: 0
Vistas: 1449
Último mensaje Octubre 31, 2018, 02:47:00 pm
por Andrey
Nuevo fallo en chips WiFi de Broadcom permite hackear iOS y Android

Iniciado por Andrey

Respuestas: 1
Vistas: 810
Último mensaje Octubre 16, 2017, 02:55:44 pm
por kackerweno