H. Kravtsov, Cand. Sc. (technology)
I. Kotsiuba, I. Prytulyuk, post-graduate students
Pukhov Institute for Modeling in Energy Engineering of NAS of Ukraine
(15 General Naumov St, Kyiv, Ukraine, 03164,
(044) 4249165, email:
АННОТАЦИЯ
Предпринята попытка систематизировать современные подходы к математическому моделированию кибербезопасности критических инфраструктур на основе обзора открытых публикаций, в которых утверждается, что современное состояние математического и программного моделирования не позволяет охватить всю сложность и взаимосвязанность таких критических инфраструктур как, например, интеллектуальные сети в энергетике (смарт-грид).
КЛЮЧЕВЫЕ СЛОВА:
critical infrastructure, cybersecurity, smart grid, vulnerability, mathematical framework, mathematical model, agent-based simulation, game theory, algebraical approach.
СПИСОК ЛИТЕРАТУРЫ
1. National Institute of Standards and Technology (2015), “Framework for Improving Critical Infrastructure Cybersecurity”, available at: http://www.nist.gov/cyberframework/upload/cybersecurityframework021214final.pdf. (accessed January 21, 2015).
2. Aloul, F.A. (2015), “Smart Grid Security: Threats, Vulnerabilities and Solutions”, available at: http://www.aloul.net/Papers/faloul_ijsgce12.pdf.(accessed January 20, 2015).
3. Knapp, E.D. and Langill, J.T. (2013), Industrial Network Security: Securing Critical Infrastructure Networks for Smart Grid, SCADA, and Other Industrial Control Systems. Elsevier, Syngress: Amsterdam, Boston.
4. Knapp, E.D. and Samani, R. (2013), Applied Cyber Security and the Smart Grid: Implementing Security Controls into the Modern Power Infrastructure. Elsevier, Syngress: Amsterdam, Boston.
5. National Institute of Standards and Technology (2010), “Introduction to NISTIR 7628. Guidelines for Smart Grid Cyber Security. The Smart Grid Interoperability Panel, Cyber Security Working Group”, available at: http://www.nist.gov/smartgrid/upload/ nistir7628_total.pdf. (accessed January 20, 2015).
6. Roberts, F. “Algorithmic Decision Theory and the Smart Grid», available at: http://dimacs.rutgers.edu/People/Staff/froberts/AlgoDecTheoryAndSmartGrid12012rev.pdf. (accessed February1, 2015).
7. Diesis, “Design of an Interoperable European federated Simulation network for critical InfraStructures, Fraunhofer IAIS”, available at: http://www.iais.fraunhofer.de/ 4819.html?&L=1. (accessed February 1, 2015).
8. Massoud, A.S. (2011), “Smart Grid: Overview, Issues and Opportunities. Advances and Challenges in Sensing, Modeling, Simulation, Optimization and Control”, European Journal of Control, no. 5-6, pp. 547-564.
9. Saad, W., Han, Z., Poor, H.V. and Basar, T. “Game Theoretic Methods for the Smart Grid”, available at: http://arxiv.org/pdf/1202.0452.pdf. (accessed February 2, 2015).
10. Babic, J. “Agent-based Modeling of Electricity Markets in a Smart Grid Environment”, available at: http://www.fer.unizg.hr/_download/repository/Jurica_Babic_Agentbased_Modeling_of_Electricity_Markets_in_a_Smart_Grid_Environment_%5BKDI %5D.pdf. (accessed February 2, 2015).
11. Laubenbacher, R., Jarrah, A.S., Mortveit, H.S. and Ravi, S.S. (2012), “A mathematical formalism for agent-based modeling”, Computational Complexity. Theory, Techniques, and Applications. Springer, pp. 88-104.
12. Bergstra, J.A. and Klop, J.W. (2004), An introduction to Process Algebra. Applications of process algebra, Edited by Baeten, J.C.M., Cambridge University Press, Cambridge.
13. Fokkink,W. (2007), Introduction to ProcessAlgebra, 2-nd edition. Springer-Verlag,Germany.
14. Fokkink, W. (2007), Modelling Distributed Systems, Springer, Germany.
15. MacLane, S. (1998), Categories for the Working Mathematician, Springer, Germany.
16. Khaleghi, B., Khamis, A. and Karray, F.O. (2015), “Multisensor data fusion: A review of the state-of-the-art”, available at: http://www.alaakhamis.org/teaching/MCT200/reading/Information%20Fusion.pdf. (accessed January 20, 2015).
17. Clark, A., Gilmore, S., Hillston, J. and Tribastone, M. (2015), “Stochastic Process Algebras”, available at: http://www.dcs.ed.ac.uk/pepa/stochasticprocessalgebras.pdf. (accessed January 20, 2015).
18. Novotny, M. (2010), “Formal analysis of security protocols for wireless sensor networks”, Tatra Mt. Math. Publ., Vol. 47, pp. 81-97.
19. Kravtsov, H. (2013), “Mathematical models of Smart Grid”, Elektronnoe modelirovanie, Vol. 35, no. 5, pp. 27-41.
КРАВЦОВ Григорий Алексеевич, канд. техн. наук, и.о. старшего науч. сотр. Ин-та проблем моделирования в энергетике им. Г.Е. Пухова НАН Украины. В 2000 г. окончил Севастопольский военно-морской институт им. П.С. Нахимова. Область научных исследований — кибербезопасность смарт-грид, криптография, разработка распределенных гетерогенных вычислительных
систем.
КОЦЮБА Игорь Васильевич, аспирант Ин-та проблем моделирования в энергетике им. Г.Е. Пухова НАН Украины Директор ООО «Интегрейтед Солюшнз». В 2010 г. окончил Государственный университет информационно-комуникационных технологий. Область научных исследований — постериорные методы анализа угроз информационной безопасности.
ПРИТУЛЮК Ирина Афанасьевна, аспирант Ин-та проблем моделирования в энергетике им. Г.Е. Пухова НАН Украины. В 2011 г. окончила Открытый международный университет развития человека «Украина». Область научных исследований — моделирование финансовых систем, теория игр.