МОДЕЛИРОВАНИЕ ОРГАНИЗАЦИОННОЙ ЗАЩИТЫ ОХРАНЯЕМОГО ОБЪЕКТА НА ОСНОВЕ ТЕОРИИ АВТОМАТОВ И СЕТЕЙ ПЕТРИ

Виктор В. Ерохин, Лариса С. Притчина

Аннотация


В статье рассматриваются задачи по оценке и моделированию действий подразделений ОВД или других охранных структур по организационной защите охраняемого объекта на основе теории автоматов и сетей Петри. Решением задачи по созданию модели действий злоумышленника на охраняемом объекте на базе теории автоматов является определение времени пребывания злоумышленника на охраняемом объекте. Решением задачи по моделированию организационной защиты охраняемого объекта с использованием сетей Петри является нахождение параллельно реализующихся взаимосвязанных процессов действия охранных подразделений при осуществлении специальных операций. Рассмотрены методы решения защищаемого объекта от действий злоумышленника: модель организационной защиты охраняемого объекта от действий злоумышленника на основе теории автоматов; модель организационной защиты на основе сетей Петри. Проведено моделирование системы защиты объекта во времени с учётом особенностей угроз, как от субъектов уголовного мира, так и при чрезвычайных ситуациях. Представленные подходы и методы моделирования действий охранных структур позволяют оценить их действия.

Ключевые слова


защита информации, сети Петри, теория автоматов.

Полный текст:

PDF

Литература


1. Абрамов П.Б. Моделирование динамики сложных систем на основе Марковских форм с внешними потоками событий / П.Б. Абрамов. – Воронеж: ВУНЦ ВВС ВВА им. проф. Н.Е. Жуковского и
Ю.А. Гагарина, 2013. – 156 с.

2. Motallebi H., Abdollahi Azgomi M. Translation from Multisingular Hybrid Petri Nets to Multisingular Hybrid Automata // Fundamenta Informaticae, Vol. 130, No. 3, IOS Press, Feb. 2014. P. 275–315. DOI: 10.3233/FI-2014-993.

3. Chang L., He X., Shatz S. M. A methodology for modeling multi-agent systems using nested petri nets // International Journal of Software Engineering and Knowledge Engineering, Vol. 22, No. 2012. P. 891–925.
DOI: 10.1142/S0218194012500246.

4. Pla A., Gay P., Melendez J., Lopez B. Petri net-based process monitoring: A workflow management system for process modelling and monitoring // Journal of Intelligent Manufacturing, Vol. 25, No. 3, 2014. P. 539–554. DOI: 10.1007/s10845-012-0704-z.

5. Orojloo H., Abdollahi Azgomi M. A game-theoretic approach to model and quantify the security of cyber-physical systems // Computers in Industry, Vol. 88, Elsevier, 2017. P. 44–57.
DOI: 10.1016/j.compind.2017.03.007.

6. Соломатин М.С., Рогозин Е.А., Дровникова И.Г. Создание модели информационного конфликта "Нарушитель - система защиты" на основе сети Петри-Маркова // Вестник Воронежского института МВД России. 2019. № 2. С. 93–100.
URL: https://ви.мвд.рф/upload/site132/document_journal/Vestnik2_2019.pdf (дата обращения: 20.02.2020).

7. Jan N.M., Fong W.H., Sarmin N.H. State machine of place-labelled petri net controlled grammars // Malaysian Journal of Fundamental and Applied Sciences 13(4), 2017. P. 649–653.

8. Занина Т.М. Некоторые аспекты административно-правового регулирования защиты информации на режимных объектах // Вестник воронежского института МВД России, 2018, 3. С. 124-127.
URL: https://ви.мвд.рф/upload/site132/document_journal/vestnik_2018_3(2).pdf (дата обращения: 20.02.2020).

9. Козьминых С.И. Организация защиты информации в российской полиции / С.И. Козьминых. – М.: «Издательство «Юнити-Дана», 2017. – 407 с.

10. Zaitsev D.A., Shmeleva T.R., Retschitzegger W., Pröll B. Security of grid structures under disguised traffic attacks // Cluster Computing, 19(3) 2016, 1183–1200. Online 17 June 2016. DOI: 10.1007/s10586-016-0582-9. URL: https://link.springer.com/article/10.1007/s10586-016-0582-9 (дата обращения: 20.02.2020).

11. Мурзаханова Е.В., Пищухин А.М. Оптимальное распределение ресурсов в системе защиты информации в организации // Вопросы защиты информации. 2019. 2(125). С. 36–40.
URL:http://izdat.ntckompas.ru/editions/for_readers/archive/article_detail.php?SECTION_ID=155&ELEMENT_ID=24535 (дата обращения: 20.02.2020).

12. Солодянников А.В. Организация и управление службой защиты информации / А.В. Солодянников. – СПб.: Санкт-Петербургский государственный экономический университет, 2018. – 89 с.
URL: https://elibrary.ru/item.asp?id=37310180 (дата обращения: 20.02.2020).

13. Мустафаев В.А., Салманова М.Н. Моделирование динамических взаимодействующих процессов с применением нечетких сетей Петри типа VF // Вестник Воронежского государственного технического университета. 2019. Т. 15. № 3. С. 28–33. DOI: 10.25987/VSTU.2019.15.3.004.
URL: https://cchgeu.ru/science/nauchnye-izdaniya/vestnik-voronezhskogo-gosudarstvennogo-tekhnicheskogo-universiteta-/fayly/vypuski/15_3.pdf (дата обращения: 20.02.2020).

14. Zaitsev D.A., Shmeleva T.R., Groote J.F. Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra // IEEE/CAA Journal of Automatica Sinica, 6(3), 2019, 733–742.
DOI: 10.1109/JAS.2019.1911486. URL: https://ieeexplore.ieee.org/document/8707130 (дата обращения: 20.02.2020).

15. Чукляев И.И. Научно-методическое обеспечение комплексного управления рисками нарушения защищенности функционально-ориентированных информационных ресурсов информационно-управляющих систем // Вопросы кибербезопасности. 2016. 4(17). С. 61–71.
URL: https://elibrary.ru/item.asp?id=27441076 (дата обращения: 20.02.2020).




DOI: http://dx.doi.org/10.26583/bit.2020.2.05

Ссылки

  • На текущий момент ссылки отсутствуют.


Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.