Results (1)
Search Parameters:
Keyword: Kripke structuresOpen AccessArticle
8 Pages, 625 KB 
Based on Reconfiguring the Supercomputers Runtime Environment New Security Methods
Abstract:
This paper is an extension of work originally presented in 2019 Third World Conference on Smart Trends in Systems Security and Sustainability (WorldS4). Author describes two new methods: reactive protection method (without delay after detecting an attack), which consists in virtualizing the execution environment of supercomputers processes if the calculated state descriptor falls into the…
Read More(This article belongs to the SP9 (Special Issue on Multidisciplinary Innovation in Engineering Science & Technology 2020) & Section Interdisciplinary Applications of Computer Science (CSI))