| 
Поиск по ключевому слову "межсетевой экран"
Автоматизация проверки некорректности конфигурирования сетевых экранов
| Авторы: Девятков В.В., Мьо Тан Тун | Опубликовано: 08.02.2015 |
| Опубликовано в выпуске: #1(100)/2015 | |
| DOI: 10.18698/0236-3933-2015-1-100-110 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Вычислительные системы и их элементы | |
| Ключевые слова: межсетевой экран, процесс, модальная логика, язык логического программирования PROLOG | |