Личный кабинет
Подробное описание документа
Девятков В. В.
Автоматизация проверки некорректности конфигурирования сетевых экранов / Девятков В. В., Мьо Тан Тун. - DOI 10.18698/0236-3933-2015-1-100-110 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2015. - № 1. -
Скачать документ
Рассмотрена автоматизация поиска ошибок конфигурирования межсетевых экранов (брандмауэров) на основе принципов логического анализа. Как правило, для описания поведения сетевых экранов использованы процессные модели, а для формулировки требований (свойств) некорректности - язык модальной логики. В настоящей статье детально изложена методика перехода от процессных моделей описания поведения сетевых экранов и условий их некорректности, формулируемых на языке модальной логики, к конкретным логическим программам, реализующим проверку некорректности конфигурирования сетевых экранов.
004.413 Организация разработки программного обеспечения
Статья опубликована в следующих изданиях
№ 1. - 2015.
