Improving Operation Time Bounded Mission Critical Systems' Attack- Survivability through Controlled Source-Code Transformation.

摘要

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.