Манифест Секьюритики

Проблема

Безопасность в индустрии строится от каталога. Стандарты, приказы и вендоры дают перечни мер, а вопрос «зачем» пристёгивается задним числом. Эффективность мер принимается на веру или на слово продавца. Результат предсказуем: бюджет потрачен, аудит пройден, а атака приходит путём, которого в перечне не было, и никто не может сказать, стало ли безопаснее.

Причина глубже практики. У безопасности нет научной теории: согласованных понятий, причинных связей, способа измерения, объяснительной и предсказательной силы. Есть теории отдельных методов, например криптографии, но нет теории того, что делает защиту в целом достаточной.

Замысел

Секьюритика строит такую теорию и проверяет её данными. Её отправная точка – противник, который выбирает:

неприемлемое состояние – такое, ущерб от которого субъект не принимает, с учётом восстановления;
противник – тот, кто выигрывает от этого состояния; у него есть выигрыш, альтернатива и возможности;
путь – цепочка действий противника к этому состоянию, у неё есть цена и длительность.

Противник выбирает лучший для себя путь из тех, что различает, и атакует, если тот выгоднее его другого занятия. Отсюда тест лучшего пути: мера ценна, только если меняет лучший путь хотя бы одного противника или ущерб. Природа, отказы техники и случайные ошибки не выбирают – для них есть теория надёжности, и Секьюритика её не заменяет.

Подробно – в ядре теории; доказательства и расширения – в обосновании.

Что получает практик

Меньше мер, больше эффекта. Вместо перечня из десятков пунктов – несколько решений, каждое привязано к пути противника и рычагу: цене пути, выигрышу, альтернативе, ущербу.
Предсказание обходов. Закрытый путь переводит противника на следующий; соседние пути закрываются вместе.
Честная оценка мониторинга и копий. Обнаружение помогает, только если после него хватает времени на реакцию; восстановление – только для того, что можно вернуть.
Различие формальной и реальной безопасности. Требование выполнено – ещё не значит, что лучший путь противника подорожал.

Как проверяется теория

Теория, которую нельзя опровергнуть, бесполезна. Поэтому каждое утверждение несёт условие опровержения, а проверки публикуются вместе с результатом, каким бы он ни был:

ретропроверка – шесть предсказаний против опубликованных данных;
проверка на парольной защите;
проверки с предрегистрацией: предсказания записываются до чтения данных – платёжное мошенничество в Европе и британское правило о возмещении.

Последняя проверка не подтвердила одно из утверждений ядра, и это написано прямо.

Обязательства проекта

Каждое утверждение сопровождается уровнем доказанности по шкале A–D и сроком пересмотра.
Где данных нет, написано «данных нет».
Отрицательные результаты публикуются наравне с положительными.
Предсказания для новых проверок публикуются до данных.
Нашли исследование, которое опровергает утверждение? Пришлите – пересмотрим документ.

Формула

Что защищать. От чего. Чем. Почему это сработает и как это проверить.