Научная статья на тему 'Моделирование сценариев сетевых атак на основе стохастических контекстно-независимых грамматик'

Моделирование сценариев сетевых атак на основе стохастических контекстно-независимых грамматик Текст научной статьи по специальности «Автоматика. Вычислительная техника»

CC BY
230
28
Поделиться

Аннотация научной статьи по автоматике и вычислительной технике, автор научной работы — Медведев Н. В., Гришин Г. А.

Рассмотрены формальные подходы к описанию сетевых атак на основе формальных грамматик. Разрабатываемые системы защиты информации следует проверять экспериментально, для этого предложена формальная модель сетевых атак.

Simulation of Scenarios of Network Attacks Based on Stochastic Context-insensitive Grammars

Formal approaches to the description of network attacks on the basis of formal grammars are considered. At present efforts to provide data security are mainly aimed at the development of protection mechanisms. Much less attention is paid to the study of theoretical aspects of attack implementation including their representation and simulation. Data protection systems under development are to be experimentally checked. For this purpose the formal model of network attacks is proposed. Refs.14. Figs.3.

Не можете найти то что вам нужно? Попробуйте наш сервис подбора литературы.

Текст научной работы на тему «Моделирование сценариев сетевых атак на основе стохастических контекстно-независимых грамматик»

ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ

ТЕХНИКА

УДК 519.682.1+681.3

Н. В. Медведев, Г. А. Гришин

МОДЕЛИРОВАНИЕ СЦЕНАРИЕВ СЕТЕВЫХ АТАК НА ОСНОВЕ СТОХАСТИЧЕСКИХ КОНТЕКСТНО-НЕЗАВИСИМЫХ ГРАММАТИК

Рассмотрены формальные подходы к описанию сетевых атак на основе формальных грамматик. Разрабатываемые системы защиты информации следует проверять экспериментально, для этого предложена формальная модель сетевых атак.

Важность проблемы информационной безопасности компьютерных сетей существенно возрастает с увеличением числа и сложности компьютерных сетей и масштабов внедрения перспективных информационных технологий [1]. Сейчас злоумышленники обладают целым арсеналом изощренных атак на распределенные информационные системы, стремясь получить доступ к конфиденциальной информации, нарушив ее целостность [2].

В настоящее время усилия в области информационной безопасности направлены, главным образом, на разработку механизмов защиты. Значительно меньше внимания уделяется исследованию теоретических вопросов реализации атак, в том числе их представлению и моделированию [3-5].

Практически не существует приемлемых программных средств моделирования атак. Поэтому многие исследователи используют упрощенные или частные модели атак, составляющие лишь малую часть возможных типов атак.

Практическая потребность в средствах моделирования атак обусловливается, по крайней мере, двумя причинами.

Во-первых, разрабатываемые системы защиты информации следует проверять экспериментально, а для этого нужно иметь среду моделирования атак.

Во-вторых, для практического внедрения систем защиты информации (в частности, систем обнаружения атак) требуется первоначальное наполнение и последующее наращивание их базы знаний. Для этого можно использовать среду моделирования атак, которая служит средством генерации прецедентов атак (обучающих данных).

В настоящей работе дано представление о предлагаемых авторами формальных моделях атак, предназначенных для реализации в разрабатываемом имитаторе атак. Во второй части статьи проведен анализ атак на компьютерные сети. Третья часть посвящена заданию концептуальной модели атак на компьютерные сети, четвертая часть является центральным и посвящен собственно формальным моделям атак, в пятой части изложены направления будущих исследований.

Анализ атак на компьютерные сети. Под атакой на компьютерные сети принято понимать несанкционированное информационное воздействие на объекты компьютерной сети, осуществляемое как по каналам связи, так и при непосредственном контакте с поражаемым объектом сети.

В настоящее время в работах по защите информации [6-9] предложено большое количество таксономий атак на компьютерные сети: списки терминов атак, списки категорий атак, категории результатов атак, эмпирические списки атак, матрицы уязвимости, таксономии, базирующиеся на действиях атакующей программы, таксономии дефектов и вариантов уязвимости защиты, таксономии атак, основанные на их сигнатурах, таксономии вторжений, базирующиеся на процессах (таксономии инцидентов). В частности, таксономия списков категорий атак, введенная Ранумом [8], основана на использовании восьми классов сетевых атак: 1) "социальная инженерия" — введение в заблуждение жертвы; 2) "заимствование прав" — захват прав доступа авторизованных пользователей; 3) "использование" — использование "дыр" в программном обеспечении или операционных системах; 4) "транзитивное доверие" — использование доверия между хостами (хост-хост) и сетями (сеть-сеть); 5) "атаки, управляемые данными", — "троянцы", лазейки, вирусы; 6) "инфраструктура" — использование ошибок и особенностей сетевых протоколов или инфраструктуры сети; 7) "отказ в обслуживании" — препятствование использованию системы; 8) "волшебство" — новые атаки, которые никто еще не фиксировал.

В соответствии с одной из наиболее распространенных классификаций (рис. 1) атаки могут структурироваться по семи основным признакам [10]: характеру воздействия (пассивное, активное); цели воздействия (нарушение конфиденциальности, целостности, доступности информации); условию начала осуществления воздействия (по запросу от атакуемого объекта, по наступлению ожидаемого события, безусловная атака); наличию обратной связи с атакуемым объектом (с обратной связью и без нее); расположению субъекта атаки относительно атакуемого объекта (внутрисегментное, межсегментное); уровню эталонной модели КО/ОБ!, на котором осуществляется воздействие

Не можете найти то что вам нужно? Попробуйте наш сервис подбора литературы.

Рис. 1. Классификация атак

(физический, канальный, сетевой, транспортный, сеансовый, представительный, прикладной); объекту, на который направлено воздействие (на сетевые сервисы, на инфраструктуру сети).

К типовым сценариям реализации удаленных атак можно отнести: 1) анализ сетевого трафика, 2) сканирование сети, 3) подмену доверенного объекта сети и передачу по каналам связи сообщений от его имени с присвоением его прав доступа, 4) внедрение ложного объекта в сеть, 5) отказ в обслуживании, 6) неавторизованный доступ с удаленного хоста посредством подбора пароля, 7) неавторизованное повышение привилегий доступа, 8) удаленный запуск приложений.

Концептуальная модель атак на компьютерные сети. Анализ удаленных атак показывает, что каждая атака предварительно планируется на макроуровне в виде частично упорядоченного множества

шагов, которые вместе составляют сценарий атаки. Каждый шаг направлен на достижение частной цели (например, анализ атакуемой компьютерной сети, преодоление системы аутентификации, повышение прав, получение доступа к информации, выполнение операции с объектом доступа, "заметание следов"). Эти шаги могут быть реализованы в различном, хотя и не в произвольном, порядке, могут повторяться и выполняться с различных удаленных компьютеров. Каждый шаг сценария атаки реализуется путем последовательных простых командами и операций микроуровня.

Следуя такому представлению атак, можно предложить двухуровневую концептуальную модель атак (рис. 2).

На первом (макро) уровне задается общий сценарий атаки. Даже единичный прецедент такого сценария позволяет эксперту идентифицировать намерения атакующего, особенности выполнения атаки, ее варианты и переменные параметры, ведущие к той же самой цели. Каждый сценарий описывается множеством допустимых последовательностей шагов, определяющих класс атак на макроуровне.

Второй (микро) уровень определяет более детальную спецификацию атаки. Каждый шаг сценария (макроуровня) на микроуровне состоит из последовательных событий. Этими событиями являются конкретные команды операционной системы, вызываемые стандартные приложения и программы атакующего (эксплоиты) с конкретными параметрами вызова.

Формальные модели атак на компьютерные сети. Описанные ранее уровни концептуальной модели атак на компьютерные сети можно задать формально.

На макроуровне каждая последовательность может рассматриваться как "слово", принадлежащее формальному языку, специфицируемому посредством некоторой формальной грамматики [11-14].

Цепочка принадлежит языку сценария атак, порождаемому грамматикой, только в том случае, если существует ее вывод из цепи этой грамматики. Процесс построения такого вывода (а, следовательно, и определения принадлежности цепочки языку) называется разбором.

С практической точки зрения наибольший интерес представляет разбор по контекстно-свободным (КС) грамматикам. Их порождающей мощности достаточно для описания большей части синтаксической структуры сетевых атак для различных подклассов КС-грамматик имеются хорошо разработанные способы решения задачи разбора.

Обобщенный пример сценария атаки (г)

Сбор и анализ информации (разведка) (I)

Начальная попытка поражения хоста или сети (Е)

Не можете найти то что вам нужно? Попробуйте наш сервис подбора литературы.

Метастазис (распространение атаки) (М)

Рис. 2. Дерево разбора сетевой атаки на двух уровнях представления

Для КС-грамматик можно ввести удобное графическое представление вывода, называемое деревом вывода, причем для всех эквивалентных выводов деревья вывода совпадают.

Дерево называется деревом вывода (или деревом разбора) (рис. 3) в КС-грамматике Од = (Ум, УТ, Б, Р), если выполнены следующие условия.

1. Каждая вершина дерева помечена символом из множества (Ум и УТ и е), при этом корень дерева помечен символом Б; листья — символами из (УТ и е).

2. Если вершина дерева отмечена символом А € Ум, а ее непосредственные потомки — символами а1,а2,...,ап, где каждое а € (УТ иУм ),то А ^ а1а2 ...ап — правило вывода в этой грамматике.

3. Если вершина дерева отмечена символом А € Ум, а ее единственный непосредственный потомок помечен символом е, то А ^ е — правило вывода в этой грамматике.

Дерево вывода (рис. 3) можно строить нисходящим либо восходящим способами.

При нисходящем разборе дерево вывода формируется от корня к листьям; на каждом шаге до вершины, отмеченной нетерминальным символом, пытаются найти такое правило вывода, чтобы имеющиеся в нем терминальные символы "проектировались" на символы исходной цепочки.

Метод восходящего разбора заключается в том, что исходную цепочку пытаются "свернуть" к начальному символу Б; на каждом шаге ищут подцепочку, которая совпадает с правой частью какого-либо правила вывода; если такую подцепочку находят, то ее заменяют нетерминалом из левой части этого правила.

Если грамматика однозначная, то при любом способе построения будет получено одно и то же дерево разбора.

Дерево разбора, описывающее обобщенный сценарий атаки посредством стохастической грамматики, имеет следующий вид (рис. 2):

Од = (Ум, Ут, Б, Р),

где Ум — множество терминальных символов, которые обозначают шаги атаки нижнего уровня, Ум = {I, Е,М, I,..., Е2, Е21, £22, Е23, Е24,Е25,Е26,...}; УТ — множество нетерминальных символов, которые ставятся в соответствие верхним и промежуточным уровням

Рис. 3. Дерево вывода для цепочки а + Ь + а в грамматике О а

Не можете найти то что вам нужно? Попробуйте наш сервис подбора литературы.

представления шагов сценария атаки; Б — начальный символ сценария атаки; Р — множество правил вывода, описывающих операции детализации сценария атаки посредством замены символов. Каждая замена осуществляется с заданной вероятностью:

аъ ^ , ^ 1 ^.^^г, ^ 1,...,к.

Пример цепочки вывода:

Б -— I, Б -— 1Е, Б — 1ЕМ, ..., Е2 -— Е21, Е2 -— Е22, Е2 -— Е23, Е2 -— Е24, Е2 -— Е25, Е2 -— Е26.

Эта грамматика может быть восстановлена индуктивно по множеству слов-прецедентов формальными методами. Данная грамматика может играть двоякую роль, а именно: использоваться и как модель генерации прецедентов, и как модель распознавания атак на базе синтаксического анализа.

С математической точки зрения формальная модель атаки на микроуровне может определяется также в терминах формальных грамматик или в терминах марковских цепей.

Выводы. В настоящей работе проведен анализ атак на компьютерные сети, задана концептуальная модель атак на компьютерные сети, предложены формальные модели атак. Формальные модели атак приведены с использованием аппарата стохастических контекстно-свободных грамматик.

Направления будущих исследований.

1. Разработка представительного множества удаленных атак нескольких классов и их описание в терминах сценариев.

2. Разработка алгоритма восстановления формальной грамматики, задающей модель атаки данного класса, на основе множества прецедентов (примеров).

3. Разработка моделей сценариев атак в терминах формальных грамматик.

4. Разработка стохастических моделей фрагментов атак на микроуровне.

5. Разработка объектно-ориентированного проекта программного прототипа системы моделирования атак и его программная реализация.

6. Экспериментальное исследование разработанной системы моделирования атак и определение ее возможностей при проектировании и эксплуатации систем защиты компьютерных сетей.

СПИСОК ЛИТЕРАТУРЫ

Не можете найти то что вам нужно? Попробуйте наш сервис подбора литературы.

1. Законодательно - правовое и организационно-техническое обеспечение

информационной безопасности автоматизированных систем и информационно-

вычислительных сетей / Под ред. И.В.Котенко. - СПб.: ВУС, 2000.

2. Karsaev O. Framework for Ontology-based Representation of Distributed Knowledge in Multiagent Network Security System // Proceedings of the 4th World Multi-conference on Systems, Cybernetics and Informatics (SCI-2000), Vol. III: "Virtual Engineering and Emergent Computing". Orlando, USA, 2000.

3. M o u n j i A. Languages and Tools for Rule-Based Distributed Intrusion Detection. PhD thesis, Faculties Universitaires Notre-Dame de la Paix Namur (Belgium), September 1997.

4. Doyle J. Some representational limitations of the Common Intrusion Specification Language. Laboratory for Computer Science, Massachusetts Institute of Technology, October 26, 1999.

5. E c k m a n n S. T., V i g n a G., K e m m e r e r R. A. STATL: An Attack Language for Statebased Intrusion Detection. Dept. of Computer Science, University of California, Santa Barbara. 2000.

6. S. K u m a r. Classification and Detection of Computer Intrusions. PhD thesis, Purdue University, West Lafayette, Indiana, USA, Aug. 1995.

7. H o w a r d J. D. An Analysis of Security Incidents on the Internet, 1989-1995, Ph.D. Dissertation, Department of Engineering and Public Policy, Carnegie Mellon University, Pittsburgh, PA, April, 1997.

8. Ranum M. A Taxonomy of Internet Attacks. Web Security Sourcebook. John Wiley & Sons. 1997.

9. K o r b a J. Windows NT Attacks for the Evaluation of Intrusion Detection Systems, M.Eng. Thesis, MIT Department of Electrical Engineering and Computer Science, May, 2000.

10. Медведовский И. Д., Семьянов П. В., Леонов Д. Г. Атака на Internet. - М.: ДМК, 1999.

11.Д ж. Фостер. Автоматический синтаксический анализ. - М.: Мир, 1975.

12. Ф у К. Структурные методы в распознавании образов. - М.: Мир, 1977.

13.Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. T. 1, 2. - М.: Мир, 1978.

Не можете найти то что вам нужно? Попробуйте наш сервис подбора литературы.

14. L a m m e l R., V e r h o e f C. Semiautomatic Grammar Recovery. Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands. 2000.

Статья поступила в редакцию 8.06.2005