5 шагов, как построить и доказать безопасность СЗИ с помощью математического аппарата
https://habr.com/ru/post/679622/?utm_campaign=679622&utm_source=habrahabr&utm_medium=rss
https://habr.com/ru/post/679622/?utm_campaign=679622&utm_source=habrahabr&utm_medium=rss
Хабр
5 шагов, как построить и доказать безопасность СЗИ с помощью математического аппарата
Всем привет! Сегодня я хочу поделиться с вами опытом создания формальных моделей СЗИ и рассказать 5 основных шагов с помощью которых можно построить формальную модель СЗИ и доказать ее безопасность....