John Rushby
Więcej informacji
- Znany z
- jądra separacji, PVS
- Afiliacja
- SRI International
Brytyjski informatyk, który w 1981 roku zaproponował jądro separacji – pomysł, że najbezpieczniej dzielić komputer, udając, że jest ich kilka.
Jego artykuł „Design and Verification of Secure Systems” z SOSP 1981 odwrócił problem. Zamiast weryfikować cały system operacyjny, małe jądro miało robić tylko jedno: izolować partycje od siebie, tak aby każda zachowywała się jak samodzielna maszyna z wyraźnie dozwolonymi kanałami łączności. To, co pozostaje do udowodnienia, jest wtedy dość małe, by faktycznie to udowodnić.
Idea przetrwała w architekturze MILS, w awionice oraz we współczesnych hipernadzorcach i mikrojądrach. W SRI International Rushby współtworzył asystenta dowodzenia PVS (1992), używanego od tamtej pory do weryfikacji wszystkiego – od algorytmów sterowania lotem po protokoły kryptograficzne.