Общая модель информационной безопасности робототехнических систем

шение формулы (значения переменных ya,bef), чтобы темпоральные свойства выполнялись на всех путях построенного конечного автомата.

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

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

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

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

1. Ulyantsev V., Tsarev F. Extended Finite-State Machine Induction using SAT-Solver // Proceedings of the Tenth International Conference on Machine Learning and Applications, ICMLA 2011, Honolulu, HI, USA // IEEE Computer Society, 2011. - V. 2. - P. 346-349.

2. Егоров К.В., Шалыто А.А. Совместное применение генетического программирования и верификация моделей для построения автоматов управления системами со сложным поведением // Научно-технический вестник СПбГУ ИТМО. - 2010. - № 5 (69). - С. 81-89.

Ульянцев Владимир Игоревич - Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, студент, ulyantsev@rain.ifmo.ru

Панченко Елена Владиславовна - Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, студент, panchenko@rain.ifmo.ru

УДК 004.056

ОБЩАЯ МОДЕЛЬ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ РОБОТОТЕХНИЧЕСКИХ СИСТЕМ Е.Н. Коваль, И.С. Лебедев

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

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

Для широкого применения робототехнических систем (РТС) в различных сферах деятельности необходима формализация технических требований к ним на этапах разработки, внедрения, эксплуатации. Вместе с тем на ранних этапах жизненного цикла разработчики, как правило, уделяют недостаточно внимания вопросам информационной безопасности (ИБ) [1], вследствие чего требуется оценка различных аспектов ИБ, необходимых для выполнения технических и технологических задач.

Анализ ИБ предполагает оценку угроз ИБ от различных факторов, оказывающих влияние на состояние системы [2]. Для описания модели ИБ будем считать, что РТС включает в себя управляющую систему, объект управления и каналы передачи данных. Для каждой составной части РТС, вне зависимости от ее архитектурных и технических особенностей, элементами воздействия угроз могут быть программы, структуры и ресурсы.

На рисунке приведена общая модель ИБ РТС. Совокупность условий и факторов, создающих опасность нарушения ИБ РТС, определяется:

- угрозами, обусловленными воздействием субъектов (персонала или противоборствующей стороны) на систему управления, объекты управления, каналы;

- угрозами, возникающими вследствие особенностей технических характеристик функционирования технических средств (интенсивности сбоев, отказов);

- угрозами, связанными с внешней средой, где применяются РТС.

Реализация угроз может осуществляться посредством уязвимостей, которые в РТС могут иметь:

- программы, обеспечивающие контроль, передачу, прием, анализ команд;

- структуры, определяющие их формы, архитектуры построения и организации действий;

- ресурсы, обеспечивающие выполнение задач.

Представленная общая модель позволяет выделить одинаковые составляющие элементы объектов РТС, что позволяет применять общеизвестные подходы к обеспечению ИБ автоматизированных систем.

Работа выполнена в рамках НИР № 610454 «Разработка интеллектуальных технологий управления, навигации и обработки информации с применением к мобильным робототехническим системам и комплексам».

Научно-технический вестник информационных технологий, механики и оптики, 2013, № 4

Рисунок. Общая модель ИБ РТС

1. Малюк А.А. Информационная безопасность: концептуальные и методологические основы защиты информации: Учебное пособие для вузов. - М.: Горячая линия - Телеком, 2004. - 280 с.

2. Гвоздев А.В., Зикратов И.А., Лебедев И.С., Лапшин С.В., Соловьев И.Н. Прогнозная оценка защищенности архитектур программного обеспечения // Научно-технический вестник информационных технологий, механики и оптики. - 2012. - № 4 (80). - С. 126-130.

Коваль Елена Николаевна - Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, зав. лабораторией, lena@cit.ifmo.ru

Лебедев Илья Сергеевич - Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, доктор технических наук, доцент, lebedev@cit.ifmo.ru

Научно-технический вестник информационных технологий, механики и оптики,

2013, № 4