SeL4: El microkernel más seguro, ahora es open source
Comprobar la seguridad de cualquier software no es un proceso sencillo, y cuando alguien dice que puede hacerlo a nivel matemático, hay que prestar atención. El microkernel seL4 cae dentro de esta categoría, y su robustez ha ayudado a proteger toda clase de sistemas integrados, incluyendo drones. Ahora, sus creadores en NICTA y General Dynamics […] More