РУсскоязычный Архив Электронных СТатей периодических изданий
Найти!
Инженерный журнал: наука и инновации/2013/№ 11/
В наличии за
50 руб.
Купить
Облако ключевых слов*
* - вычисляется автоматически
Недавно смотрели:

Логический анализ корректности конфигурирования межсетевых экранов

Статья посвящена статическому анализу поиска ошибок конфигурирования межсетевых экранов (брандмауэров). В отличие от известных работ для моделирования поведения брандмауэров предлагается использовать не списки управления доступом ACL (ACL – Access Control Lists), а процессные модели, выразительные возможности которых гораздо шире, а теория более развита, что позволяет описывать гораздо более сложные модели программ конфигурирования. Статический анализ поиска ошибок предлагается осуществлять методами логического программирования как доказательство или вывод свойств процессов конфигурирования, что является гораздо более изящным, полным и не имеющим ограничений подходом проверки корректности конфигурирования брандмауэров. Требования (свойства) корректности предлагается формализовать на языке модальной логики. Переход от этого формального описания свойств предлагается алгоритмически формировать как цель в языке ПРОЛОГ. В статье приводятся примеры логических программ проверки корректности конфигурирования брандмауэров на языке ПРОЛОГ и результаты их испытаний.

Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
Логический анализ корректности конфигурирования межсетевых экранов УДК 004.413 Логический анализ корректности конфигурирования межсетевых экранов В.В. Девятков, Мьо Тан Тун МГТУ им Н.Э. Баумана, Москва, 105005, Россия Статья посвящена статическому анализу поиска ошибок конфигурирования межсетевых экранов (брандмауэров). <...> В отличие от известных работ для моделирования поведения брандмауэров предлагается использовать не списки управления доступом ACL (ACL – Access Control Lists), а процессные модели, выразительные возможности которых гораздо шире, а теория более развита, что позволяет описывать гораздо более сложные модели программ конфигурирования. <...> Статический анализ поиска ошибок предлагается осуществлять методами логического программирования как доказательство или вывод свойств процессов конфигурирования, что является гораздо более изящным, полным и не имеющим ограничений подходом проверки корректности конфигурирования брандмауэров. <...> Требования (свойства) корректности предлагается формализовать на языке модальной логики. <...> В статье приводятся примеры логических программ проверки корректности конфигурирования брандмауэров на языке ПРОЛОГ и результаты их испытаний. <...> Ключевые слова: межсетевой экран, брандмауэр, процесс, статический анализ корректности, язык логического программирования ПРОЛОГ. <...> Сетевой экран или брандмауэр – широко известное средство защиты сетей. <...> В.В. Девятков, Мьо Тан Тун компонентов в условиях динамической маршрутизации, то пакет от одного и того же источника к одному и тому же приемнику может анализироваться различными брандмауэрами в разное время. <...> В работе [3] для поиска ошибок конфигурирования предлагается использовать так называемый статический анализ, суть которого состоит в том, что описание на языке конфигурирования рассматривается как программа конфигурирования, которая анализируется без ее запуска непосредственно на языке ее описания. <...> Достоинством работы <...>
** - вычисляется автоматически, возможны погрешности

Похожие документы:

  • Похожие документы из РУАЭСТ
  • |
  • Похожие документы из Руконт

Помощь:

Участники:

© НЦР Руконт 2014