Registration Number
0123U102106,
(
0224U001809
0225U002644
)
R & D request
Title
Methods and case-technologies of evidence-based assessment of software systems cybersecurity to ensure protection of critical IT infrastructure
Head
Illiashenko Oleh O., Кандидат технічних наук
Registration Date
04-04-2023
Organization
National Aerospace University "Kharkiv Aviation Institute"
popup.description1
Ensuring guaranteed completeness and validity of cybersecurity and functional safety assessment of critical software systems in order to reduce the risks of violation of critical infrastructures cyber assets through the development and implementation of a complex of formal and semi-formal methods, models, software tools and information technology for the assessment and verification of such systems, taking into account the multitude of physical and design defects , backdoors and vulnerabilities of hardware, electronic FPGA projects and software platforms that can be attacked and lead to system failure
popup.nrat_date
2026-06-23
