Secure and resilient computing for industry and human domains. Vol. 2

Abstract

The second volume of the three volume book called «Secure and resilient computing for industry and human domains» contains materials of the lecture parts of the study modules for MSc and PhD level of education as well as lecture part of in-service training modules developed in the framework of the SEREIN project «Modernization of Postgraduate Studies on Security Resilience for Human and Industry Related Domains» (543968-TEMPUS-1-2013-1-EE-TEMPUS-JPCR) funded under the Tempus programme are given. The book material covers fundamentals issue of secure and resilient computing, in particular, description of related standards, methods of cryptography, software security assurance and post-quantum computing methods review. The descriptions of trainings, which are intended for studying with technologies and means of assessing security guarantees, are given in accordance with international standards and requirements. Courses syllabuses and description of practicums are placed in the correspondent notes on practicums and in-service training modules. Designed for engineers who are currently or tend to design, develop and implement information security systems, for verification teams and professionals in the field of quality assessment and assurance of cyber security of IT systems, for masters and PhD students from universities that study in the areas of information security, computer science, computer and software engineering, as well as for lecturers of the corresponding courses.

Другий том тритомної книги під назвою «Secure and resilient computing for industry and human domains» містить матеріали лекційних частин навчальних модулів для рівня MSc та PhD, а також лекційну частину модулів підвищення кваліфікації, розроблених у рамках проекту SEREIN «Modernization of Postgraduate Studies on Security Resilience for Human and Industry Related Domains» (543968-TEMPUS-1-2013-1-EE-TEMPUS-JPCR), що фінансується в рамках програми Tempus. Матеріали книги охоплюють фундаментальні питання безпечних і стійких обчислень, зокрема, опис відповідних стандартів, методів криптографії, забезпечення безпеки програмного забезпечення та огляд методів постквантових обчислень. Описи тренінгів, які призначені для вивчення технологій і засобів оцінки гарантій безпеки, подано відповідно до міжнародних стандартів і вимог. Програми навчальних курсів та описи практичних занять розміщені у відповідних записках до практикумів та модулів підвищення кваліфікації. Призначений для інженерів, які в даний час або збираються проектувати, розробляти і впроваджувати системи захисту інформації, для верифікаційних груп і професіоналів у сфері оцінки якості та забезпечення кібербезпеки ІТ-систем, для магістрів і аспірантів університетів, які навчаються в областях інформаційної безпеки, інформатики, комп’ютерної та програмної інженерії, а також для викладачів відповідних курсів.