Oksana Pomorova, Sergii Lysenko"Formal and Intelligent Methods for Security and Resilience: Education and Training Issues."Information & Security: An International Journal35,no. 2(2016):133-150.Formal and Intelligent Methods