"Политики безопасности всегда были неформальным описанием «что можно, что нельзя», но за этой фасадом скрывается мир формальных логик, моделей вычислений и языков, которые могут не только описывать правила, но и доказывать, что они делают именно то, что задумано. Глупо тратить годы на внедрение сложных систем, не имея инструмента для проверки, не противоречат ли они сами себе и не оставляют ли опасных лазеек. Формальная семантика, это именно такой инструмент." Система защиты в любом серьёзном информационном контуре начинается с политики безопасности — документа, описывающего правила контроля доступа, распределения ролей, обработки данных...