This article presents the results of the implementation of TEMPUS SEREIN project in the Khmelnitsky National University. The main challenge was to develop curriculum and course materials for masters and PhD students. The authors introduce the module description of the course “Formal and Intelligent Methods for Security and Resilience.” The module deals with the issues of development and usage of formal methods for designing secure software systems and implementation of formal methods for assuring security of computer networks. We also present some issues on the usage of intelligent systems for security and address the questions of enhancing systems’ resilience. The implementation of the developed training course will improve the quality of education and will make graduates more successful on the labour market.
BT - Information & Security: An International Journal DA - 2016 DO - 10.11610/isij.3507 IS - 2 LA - eng N2 -This article presents the results of the implementation of TEMPUS SEREIN project in the Khmelnitsky National University. The main challenge was to develop curriculum and course materials for masters and PhD students. The authors introduce the module description of the course “Formal and Intelligent Methods for Security and Resilience.” The module deals with the issues of development and usage of formal methods for designing secure software systems and implementation of formal methods for assuring security of computer networks. We also present some issues on the usage of intelligent systems for security and address the questions of enhancing systems’ resilience. The implementation of the developed training course will improve the quality of education and will make graduates more successful on the labour market.
PY - 2016 SE - 133 SP - 133 EP - 150 T2 - Information & Security: An International Journal TI - Formal and Intelligent Methods for Security and Resilience: Education and Training Issues VL - 35 ER -