John McLean
Meer info
- Verbonden aan
- U.S. Naval Research Laboratory
- Bekend van
- System Z, kritiek op Bell–LaPadula
De NRL-onderzoeker die aantoonde dat het veiligheidsbewijs van Bell–LaPadula ook klopt voor een systeem dat helemaal niet veilig is.
Het Bell–LaPadula-model achter het Orange Book rustte op een "basic security theorem": begin in een veilige toestand, laat elke overgang de regels volgen, en het systeem blijft veilig. Halverwege de jaren tachtig beschreef McLean System Z, dat bij elk verzoek alles degradeert naar het laagste niveau en het vervolgens voor iedereen leesbaar maakt. De stelling blijft gelden. Het systeem lekt alles.
De clou was dat de stelling meer zegt over hoe toestanden zijn gedefinieerd dan over veiligheid. David Elliott Bell antwoordde dat het model nooit anders had beweerd, en de discussie sleepte jaren voort. Ze droeg bij aan de verschuiving naar informatiestroommodellen zoals noninterference, waar de vraag is wat een gebruiker kan afleiden — niet welke labels waar vastzitten.