Детальная информация

Козьминых, С. И. Разработка метода формальной проверки правил функционирования межсетевого экрана для обеспечения информационной безопасности в кредитно-финансовых организациях / С. И. Козьминых, А. М. Бонч-Бруевич, К. К. Иноземцева // Безопасность информационных технологий. – 2026. – № 1. — С. 77-92. — Только в электронном виде. — <URL:http://elib.fa.ru/art2026/bv468.pdf>.

Дата создания записи

25.09.2026

Тематика

разработка метода; метод проверки; проверка правил; правила функционирования; межсетевой экран; обеспечение безопасности; информационная безопасность; кредитно-финансовые учреждения; угрозы; дистанционное банковское обслуживание; SMT решатель; формальная проверка; библиотеки Z3; полный текст

Разрешенные действия

–

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа	Анонимные пользователи
Сеть	Интернет

Место доступа	Группа пользователей	Действие
Локальная сеть Финуниверситета	Все
Интернет	Читатели
Интернет	Все

...