Improving operation time bounded mission critical systems' attack-survivability through controlled source-code transformation
Bogdan Korel, Shangpin Ren, Kevin Kwiat, Arnaud Auguste, Alban Vignaux · 2011
Mission critical systems often operate for limit time durations. For these systems, we subscribe to the notion that provisioning of security can be based on the expected duration of a system's mission. In this paper, we present a simple and safe K-variant approach to improve time-based mission critical systems' attack-survivability and provide formal analysis about K-variant system's attack survivability under M memory-based attack attempts. Our theoretical analysis supported by extensive simulations and a case study provide good evidences that the proposed approach may be in improving system's attack-survivability.