Джон Маклин
Подробнее
- Организации
- Научно-исследовательская лаборатория ВМС США
- Известен
- System Z, критика модели Белла–Лападулы
Исследователь из NRL, показавший, что доказательство безопасности модели Белла–Лападулы может выполняться для системы, которая вовсе не безопасна.
Модель Белла–Лападулы, на которой стоит Оранжевая книга, опиралась на «основную теорему безопасности»: начни с безопасного состояния, выполняй каждый переход по правилам — и система останется безопасной. В середине 1980-х Маклин описал System Z, которая по любому запросу понижает всё до низшего уровня и позволяет любому это читать. Теорема при этом выполняется. Система отдаёт всё.
Суть в том, что теорема говорит больше о том, как определены состояния, чем о безопасности. Дэвид Эллиотт Белл ответил, что модель никогда не утверждала обратного, и спор тянулся годами. Он помог подтолкнуть область к моделям информационных потоков вроде неинтерференции, где вопрос в том, что пользователь может вывести, а не в том, какие метки где приклеены.