Что существует
- Модель угроз, которая говорит, что система обещает против каждого вида нарушителя и чего не обещает.
- Набор состязательных сценариев, сохранённых как постоянные регрессионные тесты.
- Версионируемые решения и реестр экспериментов.
Что проверяется
Делает ли процесс, который привязывает к каждому решению версии доказательств, правила, дату и юрисдикцию, меньше необоснованных утверждений, чем сильный обычный подход, — при приемлемых стоимости и нагрузке на проверяющих.
Зачем оно лаборатории
Это самая общая форма вопроса лаборатории: когда машине позволено что-то утверждать и когда ей позволено действовать.