Details
Козьминых, С. И. Разработка метода формальной проверки правил функционирования межсетевого экрана для обеспечения информационной безопасности в кредитно-финансовых организациях / С. И. Козьминых, А. М. Бонч-Бруевич, К. К. Иноземцева // Безопасность информационных технологий. – 2026. – № 1. — С. 77-92. — Только в электронном виде. — <URL:http://elib.fa.ru/art2026/bv468.pdf>.
Record create date
9/25/2026
Subject
разработка метода; метод проверки; проверка правил; правила функционирования; межсетевой экран; обеспечение безопасности; информационная безопасность; кредитно-финансовые учреждения; угрозы; дистанционное банковское обслуживание; SMT решатель; формальная проверка; библиотеки Z3; полный текст
Allowed Actions
–
Action 'Read' will be available if you login or access site from another network
| Group | Anonymous |
|---|---|
| Network | Internet |
| Network | User group | Action |
|---|---|---|
| Finuniversity Local Network | All |
|
| Internet | Readers |
|
| Internet | All |
|
