Логическая модель связей между узлами корпоративной вычислительной сети

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

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