доказательная информационная безопасность
Что защищать. От чего. Чем. Почему это сработает и как это проверить.
Секьюритика строит общую теорию безопасности и проверяет её данными. Отправная точка – противник, который выбирает лучший для себя путь к ущербу. Мера ценна, только если меняет этот путь или сам ущерб.
где c* – цена лучшего пути для противника, числа на рёбрах – цена шага в условных единицах. При равном выигрыше в конце путей лучший путь – самый дешёвый. Удорожание ребра B→T с 4 до 40 его не меняет.
Ядро теории
Три понятия – неприемлемое состояние, противник, путь – и одно правило выбора:
W = max (g − c) − a; атака, если W > 0
где W – выгода атаки, g – выигрыш противника в конце пути, c – цена пути, a – его лучшее другое занятие. Максимум берётся по путям, которые противник различает.
Из правила выводятся пять следствий:
- Тест лучшего пути. Мера ценна, только если меняет лучший путь хотя бы одного противника или ущерб. Второй замок на двери при незапертом окне ничего не даёт.
- Вытеснение. Закрытый путь переводит противника на следующий. После блокировки макросов рассылки ушли на файлы-контейнеры и ярлыки.
- Четыре рычага. Цена пути, выигрыш, альтернатива противника и ущерб субъекта. Склеивание банкнот при вскрытии кассеты банкомата обесценивает добычу, каким бы способом её ни вскрыли.
- Время. Обнаружение прерывает атаку, только если противнику работать дольше, чем субъекту реагировать: T > R. Камера без оператора преступность заметно не снижает.
- Обратимость. Восстановление помогает только с обратимым. Резервная копия спасает от шифрования и бессильна против публикации.
▲ Частная теория информационной безопасности – что именно защищается в информации, откуда у противника берутся пути к ней и шесть проверяемых следствий для практики.
Реестр документов
Открытая очередь – на странице «В работе». Прежняя методология (матрица целей 3×3) сохранена в архиве.