CC BY
13
1ЕШШИЕ ИН УК И
МЕТОД РАЗРЕШЕНИЯ КОНФЛИКТОВ ДОСТУПА В ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМАХ НА ОСНОВЕ СРЕДЫ РАДИКАЛОВ
В. В. Копытов, О. М. Лепешкин
THE METHOD OF SOLVING ACCESS CONFLICTS IN MANAGEMENTINFORMATION SYSTEMS BASING ON THE MEDIUM OF RADICALS
Kopytov V. V., Lepeshkin O. M.
The possibilities of applying the dedicated apparatus of the radicals' theory for modeling and solving information-system security problems in information systems are considered in the article. The investigations have been fulfilled in the frames of the "Scientific and Scientific-Pedagogical Personnel of the Innovation Russia" Federal Designated Project.
Key words: intellectual systems, system security, the theory of radicals, system simulation, conflict resolution.
В статье рассматриваются вопросы применения специализированного аппарата теории радикалов для моделирования и решения задач информационно-системной безопасности в информационных системах. Исследования выполнены в рамках ФЦП «Научные и научно-педагогические кадры инновационной России».
Ключевые слова: интеллектуальные системы, системная безопасность, теория радикалов, моделирование систем, разрешение конфликтов.
УДК 519.76
В современных информационных сетевых системах для обеспечения информационно-системной безопасности (ИСБ) актуальна необходимость описания информационно-управляющих систем (ИУС) не только как системы, состоящей из отдельных компонентов, а как совокупности сервисов (функций, задач), которые будут предоставлены пользователю [1, 2]. Существующее описание состояния современных ИУС (колоссальный объём информации и неструктурированность данных) малоприменимо в практике принятия управленческих решений. Боле того, они представляют собой системы с изменяющимися субъектами (8) и объектами (о). Другой особенностью современных ИУС является тот факт, что субъекты и объекты представлены от неделимых функциональных элементов до функциональных подсистем, последние которые при более глубокой декомпозиции (слои, иерархия) при конкретном анализе ряда функциональных задач могут вообще не иметь смысла. Кроме того, современные ИУС обусловлены включением в информационные ресурсы человека. Модели безопасности, такие как дискреционные, мандатные и ролевые не всегда адекватно отображают особенности функционирования современных информационных систем, построенных на субъектном подходе, что существенно усложняет систему контроля доступа ИУС.
Исследуемая проблема обусловлена сложностью формализации структуры системы и процесса её функционирования. Су-
ществуют определенные положительные результаты решения проблемы на основе применения теории модулей, теории паттернов и других методов модульного моделирования, показавших широкие возможности применения принципа модульности. Однако значительное время оставалась теоретически не решенной и такая важная проблема, как формализация информационного взаимодействия модулей, которая, по сути, и определяет возможность построения адекватной динамической модели безопасности информационной системы и анализа её состояний [1].
Для обеспечения ИСБ необходим переход безопасности ИУС на принципиально новый уровень, основываясь на интеллектуализации с помощью специализированных математических средств (МС) и программных средств (ПС). Эти средства должны обеспечить решение не только штатных задач ИУС (что характерно для кибернетических систем), но и решение нештатных задач (это - характерная черта интеллектуальных систем).
Основные требования к МС и ПС ИУС, обеспечивающим ИСБ ИУС, сформулированы в [4, 5]. В частности, МС должны обеспечить основу для интеллектуализации ИУС: должно быть обеспечено решение не только штатных, но и нештатных задач ИУС (с учётом всех доступных ресурсов). Возможные конфликты в проблемной области должны автоматически и оперативно выявляться. Должен быть обеспечен оперативный автоматический уход от конфликтов. Определим, что основа ИСБ - это интеллектуализация, основанная на специфическом символьном моделировании, которое, в свою очередь, основано на понятии радикала из математической информатики [1, 2].
Для решения задач жизненного цикла сложной системы требуется создание «базового механизма» ИСБ - решения задач в среде радикалов, который является «механизмом» прогнозирования и устранения конфликтов в среде радикалов. Рассмотрим его основы и применение, обеспечивающее информационно-безопасный рост среды радикалов.
Пример роста среды радикалов представлен на рисунке 1, типовым геометрическим отображением среды радикалов, реализованном с помощью таблицы.
Загол|151Р-1е и-ситсАчеров
¿VrjiiiJ ill и и ад ivvi Lf^b
VHHriyMU =.
cCoStalnjer m
( СГ li
UJ 'din "if i.
Рис. 1. Геометрическое отображение роста среды радикалов
Столбец T содержит символы, именую -щие основной тип радикала: c - контейнер, u - уникум. В столбце SIGN представлены обозначения контейнеров и уникумов. В столбцах X* представлено заполнение контейнеров cContainer*. Направления роста среды радикалов показаны на рисунке стрелками.
В течение жизненного цикла сложной системы контейнеры среды радикалов могут преобразовываться, что может приводить к конфликтам между ними. Причины преобразований разнообразны. Контейнеры могут быть изменены из-за непосредственных внешних воздействий окружающей среды, а также в результате целенаправленных управляющих действий. К преобразованиям контейнеров приводит взаимодействие составляющих сложной системы. Контейнеры могут «стареть», «разрушаться», расходуя ресурсы на обеспечение жизненного цикла сложной системы.
Конфликты могут возникать при решении практически любых задач жизненного цикла сложной системы. Пусть требуется построить уникум иОоа1 с некоторой характеризующей его целевой системой контейнеров и ультраконтейнеров. Это может быть сложная система, ее составляющая, некоторое управляющее действие и др. При решении задачи должны использоваться библиотечные схемы, решаться задачи, подзадачи и штатные задачи с целью связывания целевых схем с экземплярами библиотечных схем, заполнения соответствующих контейнеров. В итоге, целевой уникум реализуется иерархией составляющих-уникумов, характеризуемых своими контейнерам и ультраконтейнерами. В процессе построения такой иерархии в нее добавляются все новые и новые уникумы, контейнеры которых могут, вообще говоря, конфликтовать с контейнерами уже имеющихся уникумов и эти конфликты необходимо разрешать.
В течение жизненного цикла сложной системы схемы, представляющие систему, а также окружающую ее среду, преобразуются. Это тоже может привести к конфликтам. На этапе эксплуатации, например, может быть зарегистрирован уникум, соответствующий некоторому нештатному внешнему воздействию, способному вызвать конфликт контейнеров, которого необходимо избежать, преобразуя доступные для этого схемы среды радикалов.
Определим некоторые понятия, которые будем использовать при рассмотрении конфликтов в среде радикалов. Предположим, что некоторая схема среды радикалов находится в состоянии, которое может быть определено как конфликтное, причем принадлежащее некоторому определенному классу. Одна и та же схема одновременно может участвовать во множестве конфликтов различных классов. Для определения классов конфликтов будем использовать контейнеры вида с8т1ЬСопШс1С1а88, входящие в контейнеры вида сС1а880ВсЬете и имеющие следующий вид:
Ш11гаСоП:атеге0Юа88^\..; dEstimate^■...;}.
Рассматриваемый контейнер объединяет следующие схемы: dScheme - оцениваемая (классифицируемая) схема; dU1traContainers-0АС1а88 - ультраконтейнеры, используемые для классификации схемы; dEstimate - схема-оценка (соответствующая цепочка может оканчиваться уникумами: uFALSE, либо иТЯиЕ, либо «пустым» радикалом иМиЦЦ). Дадим теперь определение конфликтной схемы.
Схему среды радикалов будем называть конфликтной для заданной системы ультраконтейнеров, если в результате решения задачи классификации этой схемы получена оценка следующего вида:
cSmthConf1ictC1ass^■dEstimate^\.. ^иТЯи;. Класс конфликта определяется контейнером cSmthConf1ictC1ass, а соответствующая система ультра контейнеров должна быть доступна в контейнере cSmthConf1ictC1ass по направлению dU1traContainers0fC1ass.
Определим бесконфликтное расположение контейнеров друг относительно друга, при этом контейнер с0 охватывает контейнер с1, если с0 и с1 однотипны и все уникумы контейнера с1 являются уникумами контейнера с0, но не наоборот.
Однако преобразования контейнеров приводят к появлению уникумов, принадлежащих преобразованному контейнеру с1, но уже не принадлежащих преобразованному контейнеру с0. Пусть активирована система ультра контейнеров, с использованием которой получена оценка вида: cSmthConflictC1ass^■ dEstimate^.^ иТКи®;. Таким образом, схема объявляется конфликтной из-за конфликта контейнеров с0 и с1, вызванного их преобразованиями.
В результате жизнедеятельности ИУС происходит ее постоянные изменения и реструктуризация, что приводит к преобразованиям контейнеров среды радикалов, описываемые схемами вида cChangeScheme^{dBeforeScheme^.; dAfterScheme^.;.} (здесь dBeforeScheme -схема до преобразования, dAfterScheme -после преобразования) могут привести к конфликтам, принадлежащим некоторым классам.
Именно в смысле преобразований и конфликтов контейнеров будем говорить о преобразованиях и конфликтах уникумов среды радикалов. В целях решения проблемы конфликтов, обеспечения бесконфликтности жизненного цикла сложной системы необходимо иметь возможность достаточно быстро определять все преобразованные контейнеры. Целесообразно использовать, по возможности, более простые, содержащие меньшее число радикалов схемы для приближения более сложных контейнеров, заменять преобразования сложных контейнеров преобразованиями простых контейнеров. В качестве примеров можно привести контейнеры типа «отрезок на прямой». Системы таких контейнеров используются для построения приближений различных множеств точек на прямой, в двумерном и многомерном пространствах.
Остановимся подробнее на контейнерах «отрезок». Контейнеры - «отрезки» будем рассматривать как «проекции» соответствующего уникума на контейнеры «прямые». Левые и правые границы таких «отрезков» описываются контейнерами одномерных параметров вида сШРагашйег. Значением одномерного параметра может быть, например, конечная десятичная дробь: сШРагате1ег^-...^-^шШИоа!;. Будем использовать разложения контейнеров среды радикалов на контейнеры одномерных параметров.
Рассмотрим все возможные пары контейнеров из множества всех контейнеров среды радикалов. Для описания пар контейнеров будем использовать контейнеры вида о8тШСРаи-^{<1Р1геЮ^...; аЗеооМС^...;}, связывающие первый и второй контейнеры пары. Для каждой пары рассматриваются все возможные преобразования ее контейнеров. Пусть имеется разложение контейнеров некоторой пары на контейнеры одномерных параметров оШРагате1ег. В общем случае, при преобразованиях этой пары множество всех таких контейнеров можно разбить на два подмножества: не преобразуемых (тождественно преобразуемых) и преобразуемых контейнеров оШРагате1ег.
Будем предполагать, что для каждой рассматриваемой пары контейнеров задача иЛ1Ш181апое8Т8к (задача определения всех расстояний между контейнерами пары), при решении которой используются контейнеры сШРатате!ег, имеет единственное решение. Предполагается, что в среде радикалов имеются ультраконтейнеры, с помощью которых можно заполнить все контейнеры вида сБ181апое01СРа1г, входящие в контейнер оЛ1Ш181апсе801СРап\ Цепочка оБ181апое01СРа1г^ ... ^-иЗтШИоа!; оканчивается уникумом - конечной неотрицательной десятичной дробью (для оценок могут использоваться также целые неотрицательные числа.)
Предположим далее, что для каждой рассматриваемой пары контейнеров задача определения всех ее конфликтов иЛ11СопШо18Т8к имеет тоже единственное решение. В результате решения этой задачи заполняются контейнеры вида
сЗт1ЬСопШс1С1а88.
Пусть ультраконтейнеры сЗтШ-СопШсЮ1а88 ^ <ШгаСоШ:атеге0Юа88^\..; таковы, что цепочки-оценки сЗт^СопШе-С1а88 ..; завершаются радика-
лами иТЯЦЕ тогда и только тогда, когда все уникумы иЗтШИоа! из контейнеров сБ181апсе01Ра1г меньше (контейнер сЗта11ег) некоторых наперёд заданных уникумов иЗтШСопШеИоа!
Зафиксируем тройку контейнеров оЗтШСРаи", сБ181апое01СРа1г и оЗтШ-СопШе:С1а88 (контейнер сЗт1ЬСопШо1С1а88 фиксирует конфликт пары в смысле контейнера сБ181апсе01СРа1г). Пусть к контейнерам пары сЗтШСРап" применяется некоторое преобразование, в результате чего расстояние сБ181апое01СРа1г^. ^-иЗтШИоа:; может либо уменьшиться, либо остаться неизменным, либо увеличиться. Определим, исходя из этого, некоторые классы преобразований пары контейнеров.
Преобразование пары контейнеров будем называть плюс-конфликт преобразованием, если в его результате расстояние между контейнерами уменьшилось. Преобразование, в результате которого расстояние ме-
жду контейнерами не изменилось, будем называть нуль-конфликт преобразованием.
Рассмотрим некоторое преобразование (последовательность преобразований) пары контейнеров cSmthCPair. Пусть в рассматриваемой последовательности преобразований имеются преобразования всех классов: плюс-, нуль- и минус-конфликт преобразования. В результате такого преобразования конфликтное состояние пары, принадлежащее фиксированному классу cSmth-Conf1ictC1ass, может наступить, а может и не наступить. Выделим, основываясь на этих соображениях еще два класса преобразований пары контейнеров - безопасные и опасные.
Если преобразования пары контейнеров таковы, что цепочка cSmthConf1ict-C1ass^dEstimate^.; оканчивается радикалом uFALSE, то такие преобразования будем называть безопасными относительно класса конфликтов cSmthConf1ictC1ass. Если же в результате преобразований пара контейнеров становится конфликтной, то будем называть такие преобразования опасными.
Отметим, что если пара контейнеров подвергается последовательным преобразованиям, содержащим только минус-конфликт преобразования и, может быть, нуль-конфликт преобразования, то такие последовательности преобразований являются заведомо безопасными.
Если последовательность преобразований пары контейнеров содержит только плюс-конфликт преобразования, этого, вообще говоря, не достаточно для классификации ее как опасной.
Если за промежуток времени, который либо меньше, либо равен продолжительности жизненного цикла сложной системы (составляющей сложной системы), конфликт пары контейнеров cSmthCPair не наступил (речь идет о конфликте относительно некоторого подмножества контейнеров вида cSmthConf1ictC1ass, которое может, вообще говоря, совпадать с множеством всех контейнеров классификации конфликтов, используемых в среде радикалов), то можно говорить о бесконфликтности жизненного цикла рассматриваемой пары контейнеров (на указанном промежутке времени и отно-
сительно определенного подмножества классов конфликтов).
Переходя от пар контейнеров к множеству всех контейнеров среды радикалов, которые используются для представления проблемной области некоторой сложной системы, будем говорить о бесконфликтности жизненного цикла сложной системы в смысле бесконфликтности жизненного цикла всей системы контейнеров. Выделим еще два класса преобразований контейнеров, связанных с проблемой контроля управляемости.
Контейнеры, преобразования которых доступны для управления средой радикалов, будем называть контролируемыми на этом временном промежутке. В противном случае преобразования будем называть неконтролируемыми.
Управляемые контейнеры можно использовать для ухода от конфликтов при решении задач жизненного цикла сложной системы. Среда радикалов автоматически стремится «развести» контейнеры, приближающиеся к конфликту, используя для этого управляемые контейнеры. Понятно, что чем больше в среде радикалов контейнеров, чем больше разнообразие типов этих контейнеров, чем больше преобразуемых схем и, одновременно, чем меньше управляемых контейнеров и радикал активаторов, тем сложнее среда радикалов и труднее решать задачи жизненного цикла сложной системы. Приведенные соображения могут послужить основой для построения системы количественных оценок схем среды радикалов и использования этих оценок для обеспечения бесконфликтности жизненного цикла сложной системы.
На основе среды радикалов рассмотрим еще два класса преобразований - штатные и не штатные. Они связаны с подтверждением прогнозов для контейнеров вида cChangeScheme. Ожидаемые (прогнозируемые) преобразования схем среды радикалов будем называть штатными, если они не нарушают планируемого жизненного цикла сложной системы. В противном случае будем говорить о нештатных преобразованиях.
Для выявления конфликтов необходимо решить задачу анализа среды радикалов и прогнозирования возможных конфликтов с целью ухода от них. Пусть для приближения контейнеров среды радикалов используется система более простых контейнеров.
Предположим, что прогнозируется конфликт двух таких приближающих контейнеров. Пусть используется система ультраконтейнеров, согласно которой конфликт имеет место, если контейнеры имеют один или более общих уникумов в один и тот же момент времени (на одном и том же временном промежутке).
Конфликт между приближающими контейнерами еще не означает конфликта между приближаемыми контейнерами. Необходимо использовать более подробные разбиения области возможного конфликта, учесть гарантированный «интервал», который необходимо обеспечить между контейнерами, а также имеющиеся ресурсы. Контейнеры могут владеть одними и теми же уникумами, но в разное время, и конфликта не будет. Преобразования контейнеров, переход уникумов от одного контейнера к другому могут происходить очень быстро, процессы могут иметь колебательный характер. Поэтому среда радикалов должна иметь достаточную «разрешающую способность» для того, чтобы обнаруживать опасные преобразования, прогнозировать конфликты и уходить от них, используя управляемые контейнеры.
Среда радикалов содержит множество преобразуемых и, возможно, конфликтующих схем. В течение жизненного цикла сложной системы необходимо практически постоянно решать задачи о конфликтах: анализировать текущую ситуацию, выявлять преобразования, которые могут привести к конфликтам, прогнозировать конфликты и строить схемы, которые обеспечат уход от них. Таким образом, представляется важным выделить классы задач - базовых задач о конфликтах, к которым можно будет свести большинство задач о конфликтах сложных систем.
Пусть составляющие системы - некоторые подмножества точек плоскости. Пусть
соответствующая среда радикалов содержит контейнеры cA, cB, cB1, cB2 - прямоугольники (см. рисунок 2). Пусть контейнер cA соответствует внешней среде рассматриваемой системы, cB - самой системе, а cB1 и cB2 - ее составляющим. Пусть прогнозируется преобразование контейнера cA - вектор а, которое приведет к конфликту контейнеров cA и cB. Для ухода от конфликта необходимо преобразовать контейнер cB - деформировать его (вектор Ь), что приведет к конфликту контейнеров cB и cB1. Для ухода от этого конфликта можно попытаться преобразовать контейнер cB1 - переместить его вправо (преобразование Ь1). Но это, в свою очередь, приведет к конфликту контейнеров cB1 и cB2, от которого можно уйти, преобразуя контейнер cB2 - либо перемещая его вправо (вектор Ь22), либо деформируя (сжимая) его (вектор Ь21), либо делая одновременно и то, и другое. Таким образом, для ухода от конфликта среда радикалов автоматически пытается преобразовывать контейнеры - перемещать их и деформировать.
ьД .
ей
_а СВ1
Рис. 2. Уход от конфликта
В нештатных ситуациях в среде радикалов возможно прогнозирование ситуации критического уникума. В этой ситуации оценка ресурсов говорит о том, что задача ухода от конфликта не будет решена. В таких случаях среда радикалов переходит к решению задачи по свертыванию деятельности системы и минимизации потерь. Причем рассматривается возможность такой свертки, которая даст возможность вновь развернуть систему при благоприятных обстоятельствах.
Рассмотрим метод, позволяющий решать задачу построения [6] уникума, характерную для всех этапов жизненного цикла сложной системы - это этот метод двунаправленным методом синтеза уникума.
СБ2
Пусть требуется построить уникум иОоа1 (рисунок 3). Это может быть сложная система, ее составляющая, некоторое управляющее воздействие, уводящее систему от конфликта. Требования к уникуму иОоа1 определяются целевыми контейнерами.
Пусть существует уже реализованный библиотечный уникум, удовлетворяющий целевым контейнерам. Тогда задача решена.
Пусть теперь такого уникума не существует. Тогда из библиотеки, с помощью ультра контейнеров, выбираются уникумы (со своими контейнерами), про которые можно предположить, что, будучи связаны друг с другом определенным допустимым образом, они реализуют целевой уникум (осуществляется «проход вниз»).
Эти уникумы обычно являются «обобщенными составляющими», т. е. представляют классы составляющих системы. Обозначим эти уникумы ш_1, ..., ш_п. (иУ! -один из вариантов реализации целевого уникума на первом уровне.) Уникумы ш_1, ..., ш_п находятся в библиотеке вместе с контейнерами, характеризующими их, образно говоря, как «по горизонтали», так и «по вертикали», т. е. в библиотеке должны быть описаны как все допустимые «среды обитания» для этих уникумов, так и требования к их реализации (они могут быть еще не реализованы). Пусть также в библиотеке имеются ультра-контейнеры, с помощью которых по уникумам ш_1, ...,ш_п можно определить контейнеры, характеризующие вариант иУ! для целевого уникума ивоа1.
Теперь надо реализовать каждый из этих п уникумов. Пусть имеются ультраконтейнеры, позволяющие определить целевые контейнеры для каждого из этих уникумов, в том числе и для уникума ш_1. Таким образом, теперь задача построения уникума решается для этого уникума ш_1 и для всех остальных уникумов ш_2, ..., ш_п. Причем каждый раз контейнеры верхних уровней, в общем случае, корректируются (т. е. осуществляются «проходы вверх»).
Так можно дойти до использования в иерархии уже реализованных библиотечных уникумов иБиШ*. Пусть в нашем случае это произойдет для уникума ш_1. Теперь будем
Цглспмг
кмтйнфм
д
и
1.11
_
-----
—
1'
'Г 1-
а)
ЦГЛСВЫС к"лИТСЙ1К]И.13 11 с-
ТЛШТРЙТТР^и кчшггншфи
иЬиКуЬйщ}' I лли «¡_ I
иСоч]
" 1Г
|][ ]
,,,
и1_1
б)
кмIII II С|>Ы, -КоПТС-Ш^р 1.1.
рс-й.тнлпыпш.ие Ь-'г-ы н-шплгимс п.пя и<^па1 .пля ¡¡I! 1 ГГ-Г1 ■ 1_л |ь■ ■ л к ■ ■ -1.1 н I
Н
тт
-I---(-I I I I
в)
Рис. 3. Схемы построения уникума иОоа!
двигаться вверх. Сначала получим контейнеры, реализованные для этого уникума ш_1 (с помощью уникумов uBui1t*).
Будем продолжать движение вверх, корректируя полученные ранее контейнеры (и, возможно, добавляя новые контейнеры). Действуя, таким образом, для всех уникумом ш_*, получим контейнеры, реализованные для исходного целевого уникума иОоа1 по ьму варианту с помощью реализованных ранее уникумов uBui1t*.
Поэтому для любого целевого уникума и характеризующей его схемы и любой библиотеки стандартных радикалов, представленных нормализованными системами векторов, существует конечная последовательность шагов применения двунаправленного метода построения уникума, с помощью которой: либо осуществимо построение конечного числа схем, реализующих целевой уникум; либо делается вывод о том, что при данной библиотеке стандартных радикалов целевой уникум нереализуем.
Отметим, что при решении всех задач применяются нормализованные схемы ради-
калов - однозначно понимаемые математические объекты. Это обеспечивает необходимую строгость при работе с проблемной областью.
Таким образом, получено краткое описание математических средств сложных систем, направленных на обеспечение ИСБ; получены средства описания проблемной области, средства активации описаний, средства обеспечения ИСБ (ухода от конфликтов), что позволит на основе развития интерфейса, средств визуализации среды радикалов разработать подходы описывающих решения задач разных классов сложных систем управления. Разработать схемы, обеспечивающих представление конфликтов в системе управления на среде радикалов и уход от них. Разработать системы количественных оценок на основе среды радикалов и использовать эти оценки для ухода от конфликтов и обеспечения ИСБ сложных систем. Разработать новые принципы построения моделей безопасности доступа, позволяющих учитывать процессный подход и динамику функционирования систем управления.
ЛИТЕРАТУРА
1. Пирогов М. В. Интеллектуальный стенд обеспечения информационно-системной безопасности... // Нейрокомпьютеры: разработка, применение. — 2008. — № 7. — С. 18—25.
2. Соболева Т. С., Чечкин А. В. Дискретная математика. — М.: Изд. «Академия», 2006.
3. Чечкин А. В. Математическая информатика. —М.: Наука, 1991.
4. Чечкин А. В., Лощенков В. И., Евграфов А. Е., Рожков В. В., Пирогов М. В. Применение схем радикалов для проблемной области АКПУ// Информационно-измерительные и управляющие системы. — М.: Радиотехника, 2009. — № 3. — Т. 7.
5. Чечкин А. В. Обеспечение информационно-системной безопасности сложной системы на основе среды нейрорадикалов ее проблемной области // Нейрокомпьютеры: разработка, применение. — 2008. — № 7. — С. 6—11.
6. Чечкин А. В., Пирогов М. В. Методика обеспечения информационно-системной безопасности сложных систем // Нейрокомпьютеры: разработка, применение. — 2008. — № 7. — С. 11—17.
Об авторах
Копытов Владимир Вячеславович, ГОУ ВПО
«Ставропольский государственный университет», доктор технических наук, профессор, начальник управления информатизации. Сфера научных интересов - нелинейная динамика неавтономных систем, проблемы построения информационных систем и информационное противоборство.
kopytov@ stavsu.ru
Лепешкин Олег Михайлович, Ставропольский военный институт связи ракетных войск, кандидат технических наук, заведующий лабораторией. Сфера научных интересов - исследование функциональной устойчивости и безопасности социотехнических систем государственных структур. [email protected]
