|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Invariants classification characteristics for checking the correctness of computational processesстатья
- Авторы: Petrenko S.A., Makoveichuk K.A., Olifirov A.V., Oleinikov N.N.
- Сборник: CEUR WORKSHOP PROCEEDINGS ISTMC 2019 - Selected Papers of the 4th All-Russian Scientific and Practical Conference with International Participation "Information Systems and Technologies in Modeling and Control". Том 2522. 2019 Издательство: CEUR
- Серия: Information Systems and Technologies in Modeling and Control 2019
- Том: 2522
- Год издания: 2019
- Место издания: Yalta, Crimea: CEUR CEUR WORKSHOP PROCEEDINGS
- Первая страница: 158
- Последняя страница: 176
- Аннотация: Abstract. Selecting the invariant classification characteristics of the program behavior of some secured infrastructure (in this task, into two classes: correct and incorrect execution) is identical to the isomorphism problem of the two systems under some mapping. I order to clarify the necessary and sufficient conditions for the system isomorphism, as well as to determine the isomorphism mapping qualitative and quantitative parameters, a similarity theory of the mathematical apparatus was developed. However, in the late 1980s, the results were applied in the field of modeling, applying the universal digital computers and then transferred to solve a much wider spectrum of problems, including cybersecurity and ensuring the required cyber resilience of the critical information infrastructure.
- Добавил в систему: Олейников Николай Николаевич