John McLean
Więcej informacji
- Afiliacja
- U.S. Naval Research Laboratory
- Znany z
- System Z, krytyka modelu Bella–LaPaduli
Badacz z NRL, który pokazał, że dowód bezpieczeństwa z modelu Bella–LaPaduli może spełniać system zupełnie niebezpieczny.
Model Bella–LaPaduli, na którym oparto Orange Book, opierał się na „podstawowym twierdzeniu bezpieczeństwa”: zacznij w stanie bezpiecznym, niech każde przejście przestrzega reguł, a system pozostanie bezpieczny. W połowie lat 80. McLean opisał System Z, który na każde żądanie obniża wszystko do najniższego poziomu, a potem pozwala każdemu to czytać. Twierdzenie nadal jest prawdziwe. System ujawnia wszystko.
Sens był taki, że twierdzenie mówi więcej o tym, jak zdefiniowano stany, niż o bezpieczeństwie. David Elliott Bell odpowiedział, że model nigdy nie twierdził inaczej, a spór trwał latami. Pomógł skierować dziedzinę ku modelom przepływu informacji, jak nieinterferencja, w których pytanie brzmi, co użytkownik może wywnioskować — a nie które etykiety gdzie przyklejono.