Search academic texts

Information × Registration Number 0224U032264, 0120U000212 , R & D reports Title Models, methods and tools for creating and analyzing fault-tolerant, reliable and secure systems critical use: assessment of the possibility of extending the service life with permissible ones values of risks popup.stage_title Розробка теоретичних основ створення гарантоздатних комп’ютерних систем (ГКС) Head Федухін Олександр Вікторович, Registration Date 28-08-2024 Organization Institute of Mathematical Machines and System Problems NAS Ukraine. popup.description2 Various CS vulnerabilities that are a threat to information security were investigated, the issue of using N-version programming was considered in order to detect and avoid design errors in the software of any system. The attributive model of the guarantee capacity of the CS has been improved. A detailed decomposition of the attributive model into attributes, metrics and criteria for assessing the level of implementation of individual characteristics was performed. For the first time, thanks to the obtained attributive model and based on the metric approach, original methods of quantitative assessment of the level of guarantee capacity of the CS have been developed.  Product Description popup.authors Biehun Vasyl V. Mukha Artem A. Redkovska Maryna M. Sespedes Harsiia Natalia V. Sespedes Harsiia Patrick D. Strelnikov Valerii P. Strelnikov Valerii P. Fedukhin Oleksandr V. popup.nrat_date 2024-10-01 Close