СобытияPKI Форум Россия 2022
Публикации«Практические аспекты внедрения цифрового рубля вызывают аналогии с системой быстрых платежей»
НовостиПроизошла компрометация рынка опенсорсного ПО
ПубликацииFractal and Fractional: новое моделирование техногенных катастроф
ВидеоБезопасная разработка банковских продуктов — Информационная безопасность банков 18 апреля 2022 г.
ВидеоПротиводействие мошенничеству в финсекторе — Информационная безопасность банков 18 апреля 2022 г.
Новости«Конфиденциальность не ценится». К утечке «Яндекс.Еды» добавились ещё несколько крупных БД

Энциклопедия безопасника

Формальный (formal) —

Выраженный на языке с синтаксисом ограниченным и определенной семантикой, основанной на установившихся понятиях математических [ ГОСТ Р ИСО/МЭК 15408-1-2008 ].