ОПТИМИЗАЦИЯ ИНТЕРВАЛОВ ПРОВЕРКИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ СИСТЕМ
В.А. Богатырев, А.В. Богатырев, С.В. Богатырев
УДК 681.324
ОПТИМИЗАЦИЯ ИНТЕРВАЛОВ ПРОВЕРКИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ СИСТЕМ
В.А. Богатыревa, А.В. Богатыревa, С.В. Богатыревb
a Университет ИТМО, 197101, Санкт-Петербург, Россия, Vladimir.bogatyrev@gmail.com b Санкт-Петербургский государственный университет аэрокосмического приборостроения, 190000, Санкт-Петербург, Россия
Аннотация. Предложена марковская модель защищенных информационных систем, функционирующих в условиях деструктивных воздействий, последствия которых обнаруживаются оперативным и тестовым контролем. Предполагается, что оперативный контроль, в отличие от тестового, характеризуется ограниченной полнотой контроля, но не требует остановки вычислительного процесса. Целью исследований является построение моделей, позволяющих оптимизировать интервалы инициализации тестового контроля по критерию максимизации вероятности нахождения системы в состоянии готовности к безопасному выполнению функциональных запросов и минимизации опасных состояний системы с учетом неопределенности и вариантности интенсивности деструктивных воздействий. Рассмотрены варианты задачи оптимизации интервалов тестирования в зависимости от интенсивности деструктивных воздействий по критерию достижения максимума готовности системы к безопасному выполнению запросов. Оптимизация проведена без адаптации и с адаптацией к изменениям реальной интенсивности деструктивных воздействий. Показана эффективность адаптивного изменения периодов тестирования в зависимости от наблюдаемой активности деструктивных воздействий. Решение задачи оптимизации проведено c использованием встроенных средств системы компьютерной математики Mathcad 15, включая средства символьной математики решения систем алгебраических уравнений. Предложенные модели и методы определения оптимальных интервалов тестирования могут найти применение при системотехническом проектировании компьютерных систем и сетей критического применения, работающих в условиях дестабилизирующих воздействий при повышенных требованиях к их безопасности. Ключевые слова: марковская модель, контроль, опасные состояния, деструктивные воздействия, оптимизация. Благодарности. Работа выполнена в рамках НИР «Методы и модели обеспечения интегрированной безопасности и устойчивости функционирования компьютерных систем».
INTERVALS OPTIMIZATION OF SYSTEMS INFORMATION SECURITY INSPECTION
V.A. Вogatyreva, A.V. Вogatyreva, S.V. Вogatyrevb
a ITMO University, 197101, Saint Petersburg, Russia, Vladimir.bogatyrev@gmail.com b Saint Petersburg State University of Aerospace Instrumentation, 190000, Saint Petersburg, Russia, Vladimir.bogatyrev@gmail.com
Abstract. A Markov model is suggested for secure information systems, functioning under conditions of destructive impacts, which aftereffects are found by on-line and test control. It is assumed that on-line control, in contrast to the test one, is characterized by the limited control completeness, but does not require the stopping of computational process. The aim of research is to create models that optimize intervals of test control initialization by the criterion of probability maximization for system stay in the ready state to secure fulfillment of the functional requests and minimization of the dangerous system states in view of the uncertainty and intensity variance of the destructive impacts. Variants of testing intervals optimization are considered depending on the intensity of destructive impacts by the criterion of the maximum system availability for the safe execution of queries. Optimization is carried out with and without adaptation to the actual intensity change of destructive impacts. The efficiency of adaptive change for testing periods is shown depending on the observed activity of destructive impacts. The solution of optimization problem is obtained by built-in tools of computer mathematics Mathcad 15, including symbolic mathematics for solution of systems of algebraic equations. The proposed models and methods of determining the optimal testing intervals can find their application in the system design of computer systems and networks of critical applications, working under conditions of destabilizing actions with the increased requirements for their safety.
Keywords: Markov model, control, dangerous states, destructive impacts, optimization.
Acknowledgements. The work is done within the framework of S&R “Methods and Models for Integrated Security and Operation Stability of Computer Systems”.
Введение
В настоящее время большое внимание уделяется развитию методов системотехнического проектирования компьютерных систем и сетей с высокой надежностью, отказоустойчивостью и производительностью при минимизации затрат на их реализацию и эксплуатацию [1–7].
Достижение высокой надежности [8–25], функциональной и информационной безопасности систем хранения и обработки данных требует использования комплекса средств оперативного и тестового контроля, направленных на обнаружение и минимизацию последствий деструктивных воздействий как злонамеренного, так и случайного характера. Оперативный контроль [1] позволяет быстро обнаружить последствия деструктивных воздействий, но замедляет вычислительный процесс, и достижимая им полнота контроля, как правило, ограничена, в результате чего возможно нарушение безопасности системы (переход в опасные состояния необнаружения последствий деструктивных воздействий). Для обнаружения опасных состояний в системе может дополнительно проводиться периодический тестовый контроль.
Научно-технический вестник информационных технологий, механики и оптики Scientific and Technical Journal of Information Technologies, Mechanics and Optics 2014, № 5 (93)
119
ОПТИМИЗАЦИЯ ИНТЕРВАЛОВ ПРОВЕРКИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ...
При организации тестового контроля возникает задача определения оптимальных интервалов между тестированием, так как уменьшение этого интервала позволяет снизить вероятности опасных состояний, но приводит к потере реальной производительности и к возрастанию среднего времени пребывания запросов в системе, что отрицательно сказывается на ее эффективности, особенно при работе в реальном времени.
В теории надежности известны марковские модели, учитывающие влияние оперативного и тестового контроля на готовность системы и позволяющие оптимизировать периодичность тестового контроля [1, 7–9, 20] с целью максимизации коэффициента готовности системы. Использование известных надежностных моделей для исследования защищенных информационных систем, подверженных злонамеренным деструктивным воздействиям, затруднено тем, что их интенсивность (в отличие от отказов), как правило, характеризуется вариантностью, переменностью и неопределенностью последовательности и частоты смены вариантов.
Таким образом, для защищенных информационных систем с целью повышения их готовности к безопасному обслуживанию запросов возникает потребность определения оптимальных интервалов тестирования в зависимости от вариантности и изменяемой интенсивности деструктивных воздействий. Адаптация периодов тестирования к изменениям интенсивности воздействий, с одной стороны, позволяет увеличить готовность системы при снижении вероятности ее опасных состояний, но, с другой, увеличивает простои системы, вызываемые необходимостью обнаружения изменений интенсивности деструктивных воздействий, что обусловливает целесообразность постановки и решения задачи оптимизации процесса тестирования.
Модель защищенной системы
Для построения марковской модели защищенной информационной системы интервалы между деструктивными воздействиями, инициализацией тестирования, а также время тестирования будем считать распределенными по показательному закону. Граф состояний и переходов моделируемого процесса на рис. 1 соответствует идеальному случаю обнаружения тестовым контролем всех опасных состояний системы в предположении постоянной интенсивности нарушений.
1 1
1 0 (1–g)0 3
0
g0 1
2 1
4
Рис. 1. Граф состояний и переходов системы с контролем злонамеренных воздействий: 0 – готовность системы к безопасному выполнению функциональных запросов; 1 – тестирование при отсутствии нарушений (последствий деструктивных воздействий); 2 – обнаружение последствий деструктивных воздействий и восстановление безопасного состояния; 3 – опасное состояние
функционирования при необнаруженных последствиях деструктивных воздействиях; 4 – тестирование при наличии нарушений
На рис. 1 введены обозначения: λ0 – интенсивность потока деструктивных воздействий (величина, обратная среднему времени между деструктивными воздействиями); λ1 – интенсивность инициализации тестового контроля (величина, обратная среднему времени между тестированием); g – полнота оперативного контроля (вероятность обнаружения нарушений оперативным контролем); µ1 – интенсивность тестирования (величина, обратная среднему времени тестирования); µ0 – интенсивность восстановления безопасного состояния.
Представленный на рис. 1 граф состояний и переходов позволяет составить системы алгебраических или дифференциальных уравнений, из которых находятся вероятности всех состояний P0 – P4 в стационарном или нестационарном режимах [1].
Система алгебраических уравнений Колмогорова для графа на рис. 1 имеет следующий вид: λ1P0 μ1P1 0,
λ1P3 μ1P4 0,
μ1P4 gλ0 P0 μ0 P2 0,
1 g λ0 P0 λ1P3 0,
4
Pi 1.
i0
120
Научно-технический вестник информационных технологий, механики и оптики Scientific and Technical Journal of Information Technologies, Mechanics and Optics
2014, № 5 (93)
В.А. Богатырев, А.В. Богатырев, С.В. Богатырев
Решение получаем с использованием встроенных средств символьной математики Mathcad 15:
P0 λ1μ0μ1W , P1 λ12μ0W , P2 μ1λ0λ1W , P3 λ0μ0μ1 (1 g )W , P4 λ0λ1μ0 (1 g )W ,
где W λ12μ0 μ1λ0λ1 μ0λ0λ1 λ1μ0μ1 λ0μ0μ1 gλ0μ0 λ1 μ1 1 .
Результаты расчета вероятностей состояний системы в зависимости от интенсивности инициализации тестового контроля λ1 при λ0 = 0,1 1/ч, µ1 = 10 1/ч, µ0 = 2 1/ч и g = 0,5 представлены на рис. 2. Кривая 1 соответствует вероятности готовности системы к безопасному выполнению запросов, кривая 2 – вероятности простоя системы при ее тестировании или восстановлении, кривая 3 – вероятности простоя системы при ее тестировании в безопасном состоянии, кривая 4 – вероятности нахождения системы в опасном состоянии. Кривая 5 соответствует вероятности опасных состояний по уточненной шкале правой оси ординат. Представленные зависимости показывают возможность существования оптимального интервала между инициализацией процедуры тестирования, при котором достигается максимум вероятности нахождения системы в состоянии готовности к безопасному выполнению функциональных запросов, что подтверждает целесообразность постановки и решения задачи оптимизации интервалов тестирования.
Р1
Р
0,8
1 0,6
0,02
5 0,4
0,2
2 3 0,01
40
0
24
6 8 10
1, 1/ч
Рис. 2. Вероятности состояний системы в зависимости от интенсивности инициализации контроля: кривые 1–4 соответствуют вероятностям состояний P0, P1+P2+P4, P1, P3 соответственно; кривая 5
представляет вероятность P3 по уточненной шкале правой оси ординат
Оптимизация интервалов тестирования по критерию максимизации готовности системы к безопасному выполнению запросов
Особенность модели контроля для исследования систем, подверженных злонамеренным деструк-
тивным воздействиям, заключается в необходимости учета неопределенности интенсивности этих воз-
действий и их изменений во времени. При оптимизации интервалов тестирования будем предполагать
считать заданными вектор вариантов возможных интенсивностей (qi) и вектор вероятностей этих вариантов (ri), имеющие размерность n×1.
При неопределенности потока деструктивных воздействий рассмотрим различные варианты по-
становки задачи оптимизации интервалов тестирования, обеспечивающих максимум вероятности нахож-
дения системы в состоянии готовности к безопасному выполнению функций, обозначаемые как В1–В3.
При варианте В1 определяется значение интервалов тестирования 1/λ1 обеспечивающее максимум вероятности состояния готовности к безопасному выполнению запросов P0 по критерию
max λ1
1μ0μ1 /
12μ0 μ101 μ001 1μ0μ1 μ0μ1 g0μ0
1 μ1
n 1
при средней интенсивности воздействий 0 qiri . i0
При варианте В2 определяется значение интервалов тестирования 1/λ1 (интенсивности инициализации тестирования λ1), обеспечивающее максимум математического ожидания вероятности состояния готовности к безопасному выполнению запросов с учетом всех возможных интенсивностей воздействий
qi (i=0,1,…,n–1). В этом случае критерий оптимальности имеет вид
n 1
max λ1
i0
ri
λ1μ0μ1 /
λ12μ0 μ1qi λ1 μ0qλ1 λ1μ0μ1 qiμ0μ1 gqiμ0
λ1 μ1
,
где qi – i-й вариант возможной интенсивности деструктивных воздействий, вероятность которой ri.
Научно-технический вестник информационных технологий, механики и оптики Scientific and Technical Journal of Information Technologies, Mechanics and Optics 2014, № 5 (93)
121
ОПТИМИЗАЦИЯ ИНТЕРВАЛОВ ПРОВЕРКИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ...
При варианте В3 для каждой возможной интенсивности деструктивных воздействий определяется
вектор значений интенсивности инициализации тестирования (ai), обеспечивающий максимум математического ожидания готовности системы к безопасному выполнению запросов. При этом критерий опти-
мальности имеет вид
n 1
max a
i0
ri
аiμ0μ1 /
аi2μ0 μ1qi аi μ0qi аi аiμ0μ1 qiμ0μ1 gqiμ0
аi μ1
.
Вариант В3 предполагает предварительное формирование (на основе оптимизации) вектора интер-
валов тестирования в зависимости от варианта интенсивности воздействий. Адаптивный переход к выби-
раемому значению интервала тестирования происходит в результате измерений текущей активности (ин-
тенсивности) деструктивных воздействий и идентификации соответствующего варианта градации ак-
тивности qi . Возможна модификация адаптивного варианта назначения интервалов тестирования, когда града-
ции активности не вводятся, а осуществляются измерения активности воздействий в реальном времени, и
при обнаружении их изменений решается расчетная задача оптимизации интервалов тестирования. Сле-
дует заметить, что реализация рассмотренных вариантов адаптивного задания интервалов тестирования
требует дополнительных временных издержек, а поэтому его применение требует обоснования.
Оптимизация интервалов тестирования по критерию минимизации опасных состояний при безопасном выполнении запросов
Определим интервалы тестирования, обеспечивающие минимум вероятности нахождения системы
в опасном состоянии необнаруженных последствий деструктивных воздействий в условиях неопреде-
ленности и вариантности их интенсивностей. При оптимизации выделим случаи, соответствующие ранее
рассмотренным вариантам В1–В3 критериев оптимизации:
min λ1
λ0μ0μ1(1 g) /
λ12μ0 μ1λ0λ1 μ0λ0λ1 λ1μ0μ1 λ0μ0μ1 gλ0μ0
λ1 μ1
,
n 1
0 qi ri , i0
n 1
min λ1
i0
ri
qiμ0μ1 (1 g) /
λ12μ0 μ1qi λ1 μ0qλ1 λ1μ0μ1 qiμ0μ1 gqiμ0
λ1 μ1
,
n 1
min а
i0
ri
qiμ0μ1(1 g) /
аi2μ0 μ1qi аi μ0qi аi аiμ0μ1 qiμ0μ1 gqiμ0
аi μ1
,
где (аi) – вектор значений интенсивностей инициализации тестирования, обеспечивающий минимум ве-
роятности опасного состояния P3 для i = 0,1…n–1 возможных вариантов интенсивностей деструктивных
воздействий (qi).
При многокритериальной оптимизации максимизации готовности системы к безопасному выпол-
нению запросов и минимизации опасных состояний воспользуемся аддитивным скалярным критерием,
имеющим для рассматриваемых вариантов В1–В3 следующий вид:
max λ1
αλ1μ0μ1 (1 α) λ0μ0μ1(1 g) / λ12μ0 μ1λ0λ1 μ0λ0λ1 λ1μ0μ1 λ0μ0μ1 gλ0μ0 λ1 μ1
,
n 1
0 qi ri , i0
n 1
max λ1
i0
ri
αλ1μ0μ1 (1 α)qiμ0μ1 (1 g) / λ12μ0 μ1qi λ1 μ0qi λ1 λ1μ0μ1 qiμ0μ1 gqiμ0 λ1 μ1
,
n 1
max а
i0
ri
αаiμ0μ1 (1 α)qiμ0μ1(1 g) / аi2μ0 μ1qiаi μ0qi аi аiμ0μ1 qiμ0μ1 gqi0 аi μ1
.
Пример оптимизации интервалов тестирования
Проведем оптимизацию интервалов тестирования защищенной информационной системы по критерию максимизации готовности системы к безопасному выполнению запросов. Предположим, что интенсивность тестирования и восстановления безопасного состояния µ1 = 1 1/ч, µ0 = 0,1 1/ч при полноте оперативного контроля g = 0,6. Пусть возможны варианты деструктивных воздействий и их вероятности, представленные векторами (qi) и (ri) соответственно:
122
Научно-технический вестник информационных технологий, механики и оптики Scientific and Technical Journal of Information Technologies, Mechanics and Optics
2014, № 5 (93)
В.А. Богатырев, А.В. Богатырев, С.В. Богатырев
0, 001
0,1
0, 002
0,15
qi
0, 0,
003 004
,
ri
0, 0,
3 2
.
0, 005
0,15
0, 006
0,1
Тогда оптимальным интервалам тестирования, определяемым по критерию максимизации готов-
ности системы к безопасному выполнению запросов, для вариантов В1, В2 соответствуют значения
λ1 = 0,03672 1/ч и λ1 = 0,03714 1/ч. Для варианта В3 вектор оптимальных интенсивностей инициализации тестирования (аi), обеспечивающий минимум вероятности опасного состояния P3 для i = 0,1,…, n–1 возможных вариантов интенсивностей деструктивных воздействий (qi), определен в результате оптимизации как
0, 020
0, 028
ai
0, 0,
035 040
.
0, 045
0, 049
Результаты расчета вероятности готовности системы к безопасному выполнению запросов в зави-
симости от варианта интенсивности деструктивных воздействий представлены на рис. 3. Кривая 1 соот-
ветствует варианту В3 адаптивного изменения периодов тестирования в зависимости от наблюдаемой
интенсивности деструктивных воздействий. Кривая 2 соответствует вариантам В1, В2, при которых зада-
ется постоянный период тестирования независимо от реальной интенсивности деструктивных воздейст-
вий. Кривые 3, 4 показывают увеличение вероятности готовности системы к безопасному выполнению
запросов в результате адаптации периода тестирования к изменениям интенсивности деструктивных воз-
действий по варианту В3 относительно вариантов В1 и В2 соответственно.
Представленные графики позволяют сделать вывод об эффективности адаптивного изменения пе-
риодов тестирования в зависимости от наблюдаемой интенсивности деструктивных воздействий.
Р0 0,96
D
0,938
1
0,916 0,894
410–3 3 4 210–3
0,872
2
0,85110–3 210–3 310–3 410–3 510–3 610–03
qi, 1/ч
Рис. 3. Вероятности готовности системы к безопасному выполнению запросов: кривая 1 соответствует варианту В3, кривая 2 – вариантам В1, В2, кривые 3, 4 представляют разницу D готовности системы
к безопасному выполнению запросов между вариантами В3–В1 и В3–В2
Предложенные модели и методы определения оптимальных интервалов тестирования могут найти применение при системотехническом проектировании компьютерных систем и сетей критического применения, работающих в условиях дестабилизирующих воздействий при повышенных требованиях к их безопасности [14–25].
Таким образом, предложена марковская модель защищенных информационных систем, функционирующих в условиях деструктивных злонамеренных и случайных воздействий, последствия которых обнаруживаются оперативным и тестовым контролем.
Научно-технический вестник информационных технологий, механики и оптики Scientific and Technical Journal of Information Technologies, Mechanics and Optics 2014, № 5 (93)
123
ОПТИМИЗАЦИЯ ИНТЕРВАЛОВ ПРОВЕРКИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ...
Поставлена и решена задача оптимизации интервалов инициализации тестового контроля по критерию максимизации вероятности нахождения системы в состоянии готовности к безопасному выполнению функциональных запросов и минимизации опасных состояний системы с учетом неопределенности и вариантности интенсивности деструктивных воздействий.
Рассмотрены варианты задачи оптимизации интервалов тестирования без их адаптации и с адаптацией к изменениям реальной интенсивности деструктивных воздействий.
Показана эффективность адаптивного изменения периодов тестирования в зависимости от наблюдаемой активности деструктивных воздействий. Так, из рис. 3 видно, что, например, при интенсивности деструктивных воздействий 6·10–3 1/ч готовность к безопасному выполнению запросов в результате адаптации (вариант В3) увеличивается на 3·10–3 относительно вариантов без адаптации (В1, В2).
Решение задачи оптимизации проведено с использованием встроенных средств системы компьютерной математики Mathcad 15, включая средства символьной математики решения систем алгебраических уравнений.
Литература
1. Черкесов Г.Н. Надежность аппаратно-программных комплексов. СПб: Питер, 2005. 479 с. 2. Kopetz H. Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer, 2011.
396 p. 3. Wang S.-C., Yan K.-Q., Ho C.-L., Wang S.-S. The optimal generalized Byzantine agreement in cluster-
based wireless sensor networks // Computer Standards and Interfaces. 2014. V. 34. N 5. P. 821–830. 4. Abd-El-Barr M., Gebali F. Reliability analysis and fault tolerance for hypercube multi-computer networks //
Information Sciences. 2014. V. 276. P. 295–318. 5. Dolev D., Függer M., Posch M., Schmid U., Steininger A., Lenzen C. Rigorously modeling self-stabilizing
fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip // Journal of Computer and System Sciences. 2014. V. 80. N 4. P. 860–900. 6. Li H., Liu H., Gao H., Shi P. Reliable fuzzy control for active suspension systems with actuator delay and fault // IEEE Transactions on Fuzzy Systems. 2012. V. 20. N 2. P. 342–357. 7. Shooman M.L. Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design. John Wiley & Sons Inc., 2002. 527 p. 8. Sorin D.J. Fault Tolerant Computer Architecture. Morgan & Claypool, 2009. 103 p. 9. Koren I., Krishna C.M. Fault Tolerant Systems. San Francisco: Morgan Kaufmann Publishers, 2009. 378 p. 10. Gómez A., Carril L.M., Valin R., Mouriño J.C., Cotelo C. Fault-tolerant virtual cluster experiments on federated sites using BonFIRE // Future Generation Computer Systems. 2014. V. 34. P. 17–25. 11. Bogatyrеv V.A, Bogatyrеv S.V., Golubev I.Yu. Optimization and the process of task distribution between computer system clusters // Automatic Control and Computer Sciences. 2012. V. 84. N 3. P. 103–111. 12. Bogatyrеv V.A. Fault tolerance of clusters configurations with direct connection of storage devices // Automatic Control and Computer Sciences. 2011. V. 45. N 6. P. 330–337. 13. Bogatyrеv V.A. Exchange of duplicated computing complexes in fault tolerant systems // Automatic Control and Computer Sciences. 2011. V. 46. N 5. P. 268–276. 14. Алиев Т.И. Проектирование систем с приоритетами // Изв. вузов. Приборостроение. 2014. Т. 57. № 4. С. 30–35. 15. Богатырев В.А., Богатырев С.В., Богатырев А.В. Функциональная надежность вычислительных систем с перераспределением запросов // Изв. вузов. Приборостроение. 2012. Т. 55. № 10. С. 53–56. 16. Колбанев М.О., Татарникова Т.М., Воробьев А.И. Модель обработки клиентских запросов // Телекоммуникации. 2013. № 9. С. 42–47. 17. Богатырев В.А. Отказоустойчивость и сохранение эффективности функционирования многомагистральных распределенных вычислительных систем // Информационные технологии. 1999. № 9. С. 44– 48. 18. Богатырев В.А. К повышению надежности вычислительных систем на основе динамического распределения функций // Изв. вузов СССР. Приборостроение. 1981. Т. 23. № 8. С. 62–65. 19. Богатырев В.А. Богатырев С.В. Критерии оптимальности многоуровневых отказоустойчивых компьютерных систем // Научно-технический вестник СПбГУ ИТМО. 2009. № 5 (63). C. 92–97. 20. Перегуда А.И., Тимашов Д.А. Вероятностный анализ показателей надежности подсистем СУЗ с учетом периодического контроля исправности // Изв. вузов. Ядерная энергетика. 2009. № 4. С. 45–53. 21. Богатырев В.А. Мультипроцессорные системы с динамическим перераспределением запросов через общую магистраль // Изв. вузов СССР. Приборостроение. 1985. № 3. С. 33–38. 22. Богатырев В.А. Оценка вероятности безотказной работы функционально-распределенных вычислительных систем при иерархической структуре узлов // Изв. вузов. Приборостроение. 2000. Т. 43. № 3. С. 67–70.
124
Научно-технический вестник информационных технологий, механики и оптики Scientific and Technical Journal of Information Technologies, Mechanics and Optics
2014, № 5 (93)
В.А. Богатырев, А.В. Богатырев, С.В. Богатырев
23. Богатырев В.А., Богатырев С.В. Надежность системы управления агрегатами и машинами коммунального хозяйства // Технико-технологические проблемы сервиса. 2008. № 4 (6). С. 23–27.
24. Богатырев В.А., Богатырев С.В., Парантаев Г.В. Балансировки нагрузки в системах управления машинами и агрегатами коммунально-бытовой сферы // Технико-технологические проблемы сервиса. 2008. № 3 (5). С. 54–58.
25. Гатчин Ю.А., Жаринов И.О., Коробейников А.Г. Математические модели оценки инфраструктуры системы защиты информации на предприятии // Научно-технический вестник информационных технологий, механики и оптики. 2012. № 2 (78). С. 92–95.
Богатырев Владимир Анатольевич Богатырев Анатолий Владимирович Богатырев Станислав Владимирович
– доктор технических наук, профессор, Университет ИТМО, 197101,
Санкт-Петербург, Россия, Vladimir.bogatyrev@gmail.com
– аспирант, Университет ИТМО, 197101, Санкт-Петербург, Россия,
Vladimir.bogatyrev@gmail.com
– младший научный сотрудник,
Санкт-Петербургский
государственный университет аэрокосмического приборостроения,
190000, Санкт-Петербург, Россия, Vladimir.bogatyrev@gmail.com
Vladimir A. Вogatyrev Anatoly V. Вogatyrev Stanislav V. Вogatyrev
– D.Sc., Professor, ITMO University, 197101, Saint Petersburg, Russia,
Vladimir.bogatyrev@gmail.com
– postgraduate, ITMO University, 197101, Saint Petersburg, Russia,
Vladimir.bogatyrev@gmail.com
– junior scientific researcher, Saint Petersburg State University of
Aerospace Instrumentation, 190000, Saint Petersburg, Russia, Vladimir.bogatyrev@gmail.com
Принято к печати 13.01.14 Accepted 13.01.14
Научно-технический вестник информационных технологий, механики и оптики Scientific and Technical Journal of Information Technologies, Mechanics and Optics 2014, № 5 (93)
125
УДК 681.324
ОПТИМИЗАЦИЯ ИНТЕРВАЛОВ ПРОВЕРКИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ СИСТЕМ
В.А. Богатыревa, А.В. Богатыревa, С.В. Богатыревb
a Университет ИТМО, 197101, Санкт-Петербург, Россия, Vladimir.bogatyrev@gmail.com b Санкт-Петербургский государственный университет аэрокосмического приборостроения, 190000, Санкт-Петербург, Россия
Аннотация. Предложена марковская модель защищенных информационных систем, функционирующих в условиях деструктивных воздействий, последствия которых обнаруживаются оперативным и тестовым контролем. Предполагается, что оперативный контроль, в отличие от тестового, характеризуется ограниченной полнотой контроля, но не требует остановки вычислительного процесса. Целью исследований является построение моделей, позволяющих оптимизировать интервалы инициализации тестового контроля по критерию максимизации вероятности нахождения системы в состоянии готовности к безопасному выполнению функциональных запросов и минимизации опасных состояний системы с учетом неопределенности и вариантности интенсивности деструктивных воздействий. Рассмотрены варианты задачи оптимизации интервалов тестирования в зависимости от интенсивности деструктивных воздействий по критерию достижения максимума готовности системы к безопасному выполнению запросов. Оптимизация проведена без адаптации и с адаптацией к изменениям реальной интенсивности деструктивных воздействий. Показана эффективность адаптивного изменения периодов тестирования в зависимости от наблюдаемой активности деструктивных воздействий. Решение задачи оптимизации проведено c использованием встроенных средств системы компьютерной математики Mathcad 15, включая средства символьной математики решения систем алгебраических уравнений. Предложенные модели и методы определения оптимальных интервалов тестирования могут найти применение при системотехническом проектировании компьютерных систем и сетей критического применения, работающих в условиях дестабилизирующих воздействий при повышенных требованиях к их безопасности. Ключевые слова: марковская модель, контроль, опасные состояния, деструктивные воздействия, оптимизация. Благодарности. Работа выполнена в рамках НИР «Методы и модели обеспечения интегрированной безопасности и устойчивости функционирования компьютерных систем».
INTERVALS OPTIMIZATION OF SYSTEMS INFORMATION SECURITY INSPECTION
V.A. Вogatyreva, A.V. Вogatyreva, S.V. Вogatyrevb
a ITMO University, 197101, Saint Petersburg, Russia, Vladimir.bogatyrev@gmail.com b Saint Petersburg State University of Aerospace Instrumentation, 190000, Saint Petersburg, Russia, Vladimir.bogatyrev@gmail.com
Abstract. A Markov model is suggested for secure information systems, functioning under conditions of destructive impacts, which aftereffects are found by on-line and test control. It is assumed that on-line control, in contrast to the test one, is characterized by the limited control completeness, but does not require the stopping of computational process. The aim of research is to create models that optimize intervals of test control initialization by the criterion of probability maximization for system stay in the ready state to secure fulfillment of the functional requests and minimization of the dangerous system states in view of the uncertainty and intensity variance of the destructive impacts. Variants of testing intervals optimization are considered depending on the intensity of destructive impacts by the criterion of the maximum system availability for the safe execution of queries. Optimization is carried out with and without adaptation to the actual intensity change of destructive impacts. The efficiency of adaptive change for testing periods is shown depending on the observed activity of destructive impacts. The solution of optimization problem is obtained by built-in tools of computer mathematics Mathcad 15, including symbolic mathematics for solution of systems of algebraic equations. The proposed models and methods of determining the optimal testing intervals can find their application in the system design of computer systems and networks of critical applications, working under conditions of destabilizing actions with the increased requirements for their safety.
Keywords: Markov model, control, dangerous states, destructive impacts, optimization.
Acknowledgements. The work is done within the framework of S&R “Methods and Models for Integrated Security and Operation Stability of Computer Systems”.
Введение
В настоящее время большое внимание уделяется развитию методов системотехнического проектирования компьютерных систем и сетей с высокой надежностью, отказоустойчивостью и производительностью при минимизации затрат на их реализацию и эксплуатацию [1–7].
Достижение высокой надежности [8–25], функциональной и информационной безопасности систем хранения и обработки данных требует использования комплекса средств оперативного и тестового контроля, направленных на обнаружение и минимизацию последствий деструктивных воздействий как злонамеренного, так и случайного характера. Оперативный контроль [1] позволяет быстро обнаружить последствия деструктивных воздействий, но замедляет вычислительный процесс, и достижимая им полнота контроля, как правило, ограничена, в результате чего возможно нарушение безопасности системы (переход в опасные состояния необнаружения последствий деструктивных воздействий). Для обнаружения опасных состояний в системе может дополнительно проводиться периодический тестовый контроль.
Научно-технический вестник информационных технологий, механики и оптики Scientific and Technical Journal of Information Technologies, Mechanics and Optics 2014, № 5 (93)
119
ОПТИМИЗАЦИЯ ИНТЕРВАЛОВ ПРОВЕРКИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ...
При организации тестового контроля возникает задача определения оптимальных интервалов между тестированием, так как уменьшение этого интервала позволяет снизить вероятности опасных состояний, но приводит к потере реальной производительности и к возрастанию среднего времени пребывания запросов в системе, что отрицательно сказывается на ее эффективности, особенно при работе в реальном времени.
В теории надежности известны марковские модели, учитывающие влияние оперативного и тестового контроля на готовность системы и позволяющие оптимизировать периодичность тестового контроля [1, 7–9, 20] с целью максимизации коэффициента готовности системы. Использование известных надежностных моделей для исследования защищенных информационных систем, подверженных злонамеренным деструктивным воздействиям, затруднено тем, что их интенсивность (в отличие от отказов), как правило, характеризуется вариантностью, переменностью и неопределенностью последовательности и частоты смены вариантов.
Таким образом, для защищенных информационных систем с целью повышения их готовности к безопасному обслуживанию запросов возникает потребность определения оптимальных интервалов тестирования в зависимости от вариантности и изменяемой интенсивности деструктивных воздействий. Адаптация периодов тестирования к изменениям интенсивности воздействий, с одной стороны, позволяет увеличить готовность системы при снижении вероятности ее опасных состояний, но, с другой, увеличивает простои системы, вызываемые необходимостью обнаружения изменений интенсивности деструктивных воздействий, что обусловливает целесообразность постановки и решения задачи оптимизации процесса тестирования.
Модель защищенной системы
Для построения марковской модели защищенной информационной системы интервалы между деструктивными воздействиями, инициализацией тестирования, а также время тестирования будем считать распределенными по показательному закону. Граф состояний и переходов моделируемого процесса на рис. 1 соответствует идеальному случаю обнаружения тестовым контролем всех опасных состояний системы в предположении постоянной интенсивности нарушений.
1 1
1 0 (1–g)0 3
0
g0 1
2 1
4
Рис. 1. Граф состояний и переходов системы с контролем злонамеренных воздействий: 0 – готовность системы к безопасному выполнению функциональных запросов; 1 – тестирование при отсутствии нарушений (последствий деструктивных воздействий); 2 – обнаружение последствий деструктивных воздействий и восстановление безопасного состояния; 3 – опасное состояние
функционирования при необнаруженных последствиях деструктивных воздействиях; 4 – тестирование при наличии нарушений
На рис. 1 введены обозначения: λ0 – интенсивность потока деструктивных воздействий (величина, обратная среднему времени между деструктивными воздействиями); λ1 – интенсивность инициализации тестового контроля (величина, обратная среднему времени между тестированием); g – полнота оперативного контроля (вероятность обнаружения нарушений оперативным контролем); µ1 – интенсивность тестирования (величина, обратная среднему времени тестирования); µ0 – интенсивность восстановления безопасного состояния.
Представленный на рис. 1 граф состояний и переходов позволяет составить системы алгебраических или дифференциальных уравнений, из которых находятся вероятности всех состояний P0 – P4 в стационарном или нестационарном режимах [1].
Система алгебраических уравнений Колмогорова для графа на рис. 1 имеет следующий вид: λ1P0 μ1P1 0,
λ1P3 μ1P4 0,
μ1P4 gλ0 P0 μ0 P2 0,
1 g λ0 P0 λ1P3 0,
4
Pi 1.
i0
120
Научно-технический вестник информационных технологий, механики и оптики Scientific and Technical Journal of Information Technologies, Mechanics and Optics
2014, № 5 (93)
В.А. Богатырев, А.В. Богатырев, С.В. Богатырев
Решение получаем с использованием встроенных средств символьной математики Mathcad 15:
P0 λ1μ0μ1W , P1 λ12μ0W , P2 μ1λ0λ1W , P3 λ0μ0μ1 (1 g )W , P4 λ0λ1μ0 (1 g )W ,
где W λ12μ0 μ1λ0λ1 μ0λ0λ1 λ1μ0μ1 λ0μ0μ1 gλ0μ0 λ1 μ1 1 .
Результаты расчета вероятностей состояний системы в зависимости от интенсивности инициализации тестового контроля λ1 при λ0 = 0,1 1/ч, µ1 = 10 1/ч, µ0 = 2 1/ч и g = 0,5 представлены на рис. 2. Кривая 1 соответствует вероятности готовности системы к безопасному выполнению запросов, кривая 2 – вероятности простоя системы при ее тестировании или восстановлении, кривая 3 – вероятности простоя системы при ее тестировании в безопасном состоянии, кривая 4 – вероятности нахождения системы в опасном состоянии. Кривая 5 соответствует вероятности опасных состояний по уточненной шкале правой оси ординат. Представленные зависимости показывают возможность существования оптимального интервала между инициализацией процедуры тестирования, при котором достигается максимум вероятности нахождения системы в состоянии готовности к безопасному выполнению функциональных запросов, что подтверждает целесообразность постановки и решения задачи оптимизации интервалов тестирования.
Р1
Р
0,8
1 0,6
0,02
5 0,4
0,2
2 3 0,01
40
0
24
6 8 10
1, 1/ч
Рис. 2. Вероятности состояний системы в зависимости от интенсивности инициализации контроля: кривые 1–4 соответствуют вероятностям состояний P0, P1+P2+P4, P1, P3 соответственно; кривая 5
представляет вероятность P3 по уточненной шкале правой оси ординат
Оптимизация интервалов тестирования по критерию максимизации готовности системы к безопасному выполнению запросов
Особенность модели контроля для исследования систем, подверженных злонамеренным деструк-
тивным воздействиям, заключается в необходимости учета неопределенности интенсивности этих воз-
действий и их изменений во времени. При оптимизации интервалов тестирования будем предполагать
считать заданными вектор вариантов возможных интенсивностей (qi) и вектор вероятностей этих вариантов (ri), имеющие размерность n×1.
При неопределенности потока деструктивных воздействий рассмотрим различные варианты по-
становки задачи оптимизации интервалов тестирования, обеспечивающих максимум вероятности нахож-
дения системы в состоянии готовности к безопасному выполнению функций, обозначаемые как В1–В3.
При варианте В1 определяется значение интервалов тестирования 1/λ1 обеспечивающее максимум вероятности состояния готовности к безопасному выполнению запросов P0 по критерию
max λ1
1μ0μ1 /
12μ0 μ101 μ001 1μ0μ1 μ0μ1 g0μ0
1 μ1
n 1
при средней интенсивности воздействий 0 qiri . i0
При варианте В2 определяется значение интервалов тестирования 1/λ1 (интенсивности инициализации тестирования λ1), обеспечивающее максимум математического ожидания вероятности состояния готовности к безопасному выполнению запросов с учетом всех возможных интенсивностей воздействий
qi (i=0,1,…,n–1). В этом случае критерий оптимальности имеет вид
n 1
max λ1
i0
ri
λ1μ0μ1 /
λ12μ0 μ1qi λ1 μ0qλ1 λ1μ0μ1 qiμ0μ1 gqiμ0
λ1 μ1
,
где qi – i-й вариант возможной интенсивности деструктивных воздействий, вероятность которой ri.
Научно-технический вестник информационных технологий, механики и оптики Scientific and Technical Journal of Information Technologies, Mechanics and Optics 2014, № 5 (93)
121
ОПТИМИЗАЦИЯ ИНТЕРВАЛОВ ПРОВЕРКИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ...
При варианте В3 для каждой возможной интенсивности деструктивных воздействий определяется
вектор значений интенсивности инициализации тестирования (ai), обеспечивающий максимум математического ожидания готовности системы к безопасному выполнению запросов. При этом критерий опти-
мальности имеет вид
n 1
max a
i0
ri
аiμ0μ1 /
аi2μ0 μ1qi аi μ0qi аi аiμ0μ1 qiμ0μ1 gqiμ0
аi μ1
.
Вариант В3 предполагает предварительное формирование (на основе оптимизации) вектора интер-
валов тестирования в зависимости от варианта интенсивности воздействий. Адаптивный переход к выби-
раемому значению интервала тестирования происходит в результате измерений текущей активности (ин-
тенсивности) деструктивных воздействий и идентификации соответствующего варианта градации ак-
тивности qi . Возможна модификация адаптивного варианта назначения интервалов тестирования, когда града-
ции активности не вводятся, а осуществляются измерения активности воздействий в реальном времени, и
при обнаружении их изменений решается расчетная задача оптимизации интервалов тестирования. Сле-
дует заметить, что реализация рассмотренных вариантов адаптивного задания интервалов тестирования
требует дополнительных временных издержек, а поэтому его применение требует обоснования.
Оптимизация интервалов тестирования по критерию минимизации опасных состояний при безопасном выполнении запросов
Определим интервалы тестирования, обеспечивающие минимум вероятности нахождения системы
в опасном состоянии необнаруженных последствий деструктивных воздействий в условиях неопреде-
ленности и вариантности их интенсивностей. При оптимизации выделим случаи, соответствующие ранее
рассмотренным вариантам В1–В3 критериев оптимизации:
min λ1
λ0μ0μ1(1 g) /
λ12μ0 μ1λ0λ1 μ0λ0λ1 λ1μ0μ1 λ0μ0μ1 gλ0μ0
λ1 μ1
,
n 1
0 qi ri , i0
n 1
min λ1
i0
ri
qiμ0μ1 (1 g) /
λ12μ0 μ1qi λ1 μ0qλ1 λ1μ0μ1 qiμ0μ1 gqiμ0
λ1 μ1
,
n 1
min а
i0
ri
qiμ0μ1(1 g) /
аi2μ0 μ1qi аi μ0qi аi аiμ0μ1 qiμ0μ1 gqiμ0
аi μ1
,
где (аi) – вектор значений интенсивностей инициализации тестирования, обеспечивающий минимум ве-
роятности опасного состояния P3 для i = 0,1…n–1 возможных вариантов интенсивностей деструктивных
воздействий (qi).
При многокритериальной оптимизации максимизации готовности системы к безопасному выпол-
нению запросов и минимизации опасных состояний воспользуемся аддитивным скалярным критерием,
имеющим для рассматриваемых вариантов В1–В3 следующий вид:
max λ1
αλ1μ0μ1 (1 α) λ0μ0μ1(1 g) / λ12μ0 μ1λ0λ1 μ0λ0λ1 λ1μ0μ1 λ0μ0μ1 gλ0μ0 λ1 μ1
,
n 1
0 qi ri , i0
n 1
max λ1
i0
ri
αλ1μ0μ1 (1 α)qiμ0μ1 (1 g) / λ12μ0 μ1qi λ1 μ0qi λ1 λ1μ0μ1 qiμ0μ1 gqiμ0 λ1 μ1
,
n 1
max а
i0
ri
αаiμ0μ1 (1 α)qiμ0μ1(1 g) / аi2μ0 μ1qiаi μ0qi аi аiμ0μ1 qiμ0μ1 gqi0 аi μ1
.
Пример оптимизации интервалов тестирования
Проведем оптимизацию интервалов тестирования защищенной информационной системы по критерию максимизации готовности системы к безопасному выполнению запросов. Предположим, что интенсивность тестирования и восстановления безопасного состояния µ1 = 1 1/ч, µ0 = 0,1 1/ч при полноте оперативного контроля g = 0,6. Пусть возможны варианты деструктивных воздействий и их вероятности, представленные векторами (qi) и (ri) соответственно:
122
Научно-технический вестник информационных технологий, механики и оптики Scientific and Technical Journal of Information Technologies, Mechanics and Optics
2014, № 5 (93)
В.А. Богатырев, А.В. Богатырев, С.В. Богатырев
0, 001
0,1
0, 002
0,15
qi
0, 0,
003 004
,
ri
0, 0,
3 2
.
0, 005
0,15
0, 006
0,1
Тогда оптимальным интервалам тестирования, определяемым по критерию максимизации готов-
ности системы к безопасному выполнению запросов, для вариантов В1, В2 соответствуют значения
λ1 = 0,03672 1/ч и λ1 = 0,03714 1/ч. Для варианта В3 вектор оптимальных интенсивностей инициализации тестирования (аi), обеспечивающий минимум вероятности опасного состояния P3 для i = 0,1,…, n–1 возможных вариантов интенсивностей деструктивных воздействий (qi), определен в результате оптимизации как
0, 020
0, 028
ai
0, 0,
035 040
.
0, 045
0, 049
Результаты расчета вероятности готовности системы к безопасному выполнению запросов в зави-
симости от варианта интенсивности деструктивных воздействий представлены на рис. 3. Кривая 1 соот-
ветствует варианту В3 адаптивного изменения периодов тестирования в зависимости от наблюдаемой
интенсивности деструктивных воздействий. Кривая 2 соответствует вариантам В1, В2, при которых зада-
ется постоянный период тестирования независимо от реальной интенсивности деструктивных воздейст-
вий. Кривые 3, 4 показывают увеличение вероятности готовности системы к безопасному выполнению
запросов в результате адаптации периода тестирования к изменениям интенсивности деструктивных воз-
действий по варианту В3 относительно вариантов В1 и В2 соответственно.
Представленные графики позволяют сделать вывод об эффективности адаптивного изменения пе-
риодов тестирования в зависимости от наблюдаемой интенсивности деструктивных воздействий.
Р0 0,96
D
0,938
1
0,916 0,894
410–3 3 4 210–3
0,872
2
0,85110–3 210–3 310–3 410–3 510–3 610–03
qi, 1/ч
Рис. 3. Вероятности готовности системы к безопасному выполнению запросов: кривая 1 соответствует варианту В3, кривая 2 – вариантам В1, В2, кривые 3, 4 представляют разницу D готовности системы
к безопасному выполнению запросов между вариантами В3–В1 и В3–В2
Предложенные модели и методы определения оптимальных интервалов тестирования могут найти применение при системотехническом проектировании компьютерных систем и сетей критического применения, работающих в условиях дестабилизирующих воздействий при повышенных требованиях к их безопасности [14–25].
Таким образом, предложена марковская модель защищенных информационных систем, функционирующих в условиях деструктивных злонамеренных и случайных воздействий, последствия которых обнаруживаются оперативным и тестовым контролем.
Научно-технический вестник информационных технологий, механики и оптики Scientific and Technical Journal of Information Technologies, Mechanics and Optics 2014, № 5 (93)
123
ОПТИМИЗАЦИЯ ИНТЕРВАЛОВ ПРОВЕРКИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ...
Поставлена и решена задача оптимизации интервалов инициализации тестового контроля по критерию максимизации вероятности нахождения системы в состоянии готовности к безопасному выполнению функциональных запросов и минимизации опасных состояний системы с учетом неопределенности и вариантности интенсивности деструктивных воздействий.
Рассмотрены варианты задачи оптимизации интервалов тестирования без их адаптации и с адаптацией к изменениям реальной интенсивности деструктивных воздействий.
Показана эффективность адаптивного изменения периодов тестирования в зависимости от наблюдаемой активности деструктивных воздействий. Так, из рис. 3 видно, что, например, при интенсивности деструктивных воздействий 6·10–3 1/ч готовность к безопасному выполнению запросов в результате адаптации (вариант В3) увеличивается на 3·10–3 относительно вариантов без адаптации (В1, В2).
Решение задачи оптимизации проведено с использованием встроенных средств системы компьютерной математики Mathcad 15, включая средства символьной математики решения систем алгебраических уравнений.
Литература
1. Черкесов Г.Н. Надежность аппаратно-программных комплексов. СПб: Питер, 2005. 479 с. 2. Kopetz H. Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer, 2011.
396 p. 3. Wang S.-C., Yan K.-Q., Ho C.-L., Wang S.-S. The optimal generalized Byzantine agreement in cluster-
based wireless sensor networks // Computer Standards and Interfaces. 2014. V. 34. N 5. P. 821–830. 4. Abd-El-Barr M., Gebali F. Reliability analysis and fault tolerance for hypercube multi-computer networks //
Information Sciences. 2014. V. 276. P. 295–318. 5. Dolev D., Függer M., Posch M., Schmid U., Steininger A., Lenzen C. Rigorously modeling self-stabilizing
fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip // Journal of Computer and System Sciences. 2014. V. 80. N 4. P. 860–900. 6. Li H., Liu H., Gao H., Shi P. Reliable fuzzy control for active suspension systems with actuator delay and fault // IEEE Transactions on Fuzzy Systems. 2012. V. 20. N 2. P. 342–357. 7. Shooman M.L. Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design. John Wiley & Sons Inc., 2002. 527 p. 8. Sorin D.J. Fault Tolerant Computer Architecture. Morgan & Claypool, 2009. 103 p. 9. Koren I., Krishna C.M. Fault Tolerant Systems. San Francisco: Morgan Kaufmann Publishers, 2009. 378 p. 10. Gómez A., Carril L.M., Valin R., Mouriño J.C., Cotelo C. Fault-tolerant virtual cluster experiments on federated sites using BonFIRE // Future Generation Computer Systems. 2014. V. 34. P. 17–25. 11. Bogatyrеv V.A, Bogatyrеv S.V., Golubev I.Yu. Optimization and the process of task distribution between computer system clusters // Automatic Control and Computer Sciences. 2012. V. 84. N 3. P. 103–111. 12. Bogatyrеv V.A. Fault tolerance of clusters configurations with direct connection of storage devices // Automatic Control and Computer Sciences. 2011. V. 45. N 6. P. 330–337. 13. Bogatyrеv V.A. Exchange of duplicated computing complexes in fault tolerant systems // Automatic Control and Computer Sciences. 2011. V. 46. N 5. P. 268–276. 14. Алиев Т.И. Проектирование систем с приоритетами // Изв. вузов. Приборостроение. 2014. Т. 57. № 4. С. 30–35. 15. Богатырев В.А., Богатырев С.В., Богатырев А.В. Функциональная надежность вычислительных систем с перераспределением запросов // Изв. вузов. Приборостроение. 2012. Т. 55. № 10. С. 53–56. 16. Колбанев М.О., Татарникова Т.М., Воробьев А.И. Модель обработки клиентских запросов // Телекоммуникации. 2013. № 9. С. 42–47. 17. Богатырев В.А. Отказоустойчивость и сохранение эффективности функционирования многомагистральных распределенных вычислительных систем // Информационные технологии. 1999. № 9. С. 44– 48. 18. Богатырев В.А. К повышению надежности вычислительных систем на основе динамического распределения функций // Изв. вузов СССР. Приборостроение. 1981. Т. 23. № 8. С. 62–65. 19. Богатырев В.А. Богатырев С.В. Критерии оптимальности многоуровневых отказоустойчивых компьютерных систем // Научно-технический вестник СПбГУ ИТМО. 2009. № 5 (63). C. 92–97. 20. Перегуда А.И., Тимашов Д.А. Вероятностный анализ показателей надежности подсистем СУЗ с учетом периодического контроля исправности // Изв. вузов. Ядерная энергетика. 2009. № 4. С. 45–53. 21. Богатырев В.А. Мультипроцессорные системы с динамическим перераспределением запросов через общую магистраль // Изв. вузов СССР. Приборостроение. 1985. № 3. С. 33–38. 22. Богатырев В.А. Оценка вероятности безотказной работы функционально-распределенных вычислительных систем при иерархической структуре узлов // Изв. вузов. Приборостроение. 2000. Т. 43. № 3. С. 67–70.
124
Научно-технический вестник информационных технологий, механики и оптики Scientific and Technical Journal of Information Technologies, Mechanics and Optics
2014, № 5 (93)
В.А. Богатырев, А.В. Богатырев, С.В. Богатырев
23. Богатырев В.А., Богатырев С.В. Надежность системы управления агрегатами и машинами коммунального хозяйства // Технико-технологические проблемы сервиса. 2008. № 4 (6). С. 23–27.
24. Богатырев В.А., Богатырев С.В., Парантаев Г.В. Балансировки нагрузки в системах управления машинами и агрегатами коммунально-бытовой сферы // Технико-технологические проблемы сервиса. 2008. № 3 (5). С. 54–58.
25. Гатчин Ю.А., Жаринов И.О., Коробейников А.Г. Математические модели оценки инфраструктуры системы защиты информации на предприятии // Научно-технический вестник информационных технологий, механики и оптики. 2012. № 2 (78). С. 92–95.
Богатырев Владимир Анатольевич Богатырев Анатолий Владимирович Богатырев Станислав Владимирович
– доктор технических наук, профессор, Университет ИТМО, 197101,
Санкт-Петербург, Россия, Vladimir.bogatyrev@gmail.com
– аспирант, Университет ИТМО, 197101, Санкт-Петербург, Россия,
Vladimir.bogatyrev@gmail.com
– младший научный сотрудник,
Санкт-Петербургский
государственный университет аэрокосмического приборостроения,
190000, Санкт-Петербург, Россия, Vladimir.bogatyrev@gmail.com
Vladimir A. Вogatyrev Anatoly V. Вogatyrev Stanislav V. Вogatyrev
– D.Sc., Professor, ITMO University, 197101, Saint Petersburg, Russia,
Vladimir.bogatyrev@gmail.com
– postgraduate, ITMO University, 197101, Saint Petersburg, Russia,
Vladimir.bogatyrev@gmail.com
– junior scientific researcher, Saint Petersburg State University of
Aerospace Instrumentation, 190000, Saint Petersburg, Russia, Vladimir.bogatyrev@gmail.com
Принято к печати 13.01.14 Accepted 13.01.14
Научно-технический вестник информационных технологий, механики и оптики Scientific and Technical Journal of Information Technologies, Mechanics and Optics 2014, № 5 (93)
125