John Rushby
Más información
- Conocido por
- El núcleo de separación, PVS
- Institución
- SRI International
Informático británico que en 1981 propuso el núcleo de separación: la forma más segura de compartir un ordenador es que finja ser varios.
Su artículo «Design and Verification of Secure Systems» (SOSP 1981) le dio la vuelta al problema. En lugar de verificar un sistema operativo entero, un núcleo pequeño se limitaría a aislar particiones entre sí, de modo que cada una se comporte como una máquina independiente con canales de comunicación explícitamente permitidos. Lo que queda por demostrar es entonces lo bastante pequeño como para demostrarlo de verdad.
La idea sigue viva en la arquitectura MILS, en la aviónica y en los hipervisores y micronúcleos modernos. En SRI International, Rushby participó en la creación del asistente de demostración PVS (1992), usado para verificar desde algoritmos de control de vuelo hasta protocolos criptográficos.