The Security for Safety Problem in Cyberphysical Systems

This paper is intended to clarify the key differences and identify similarities between security and safety in cyberphysical systems in order to propose an approach that addresses both types of issues present in these systems. Special attention is given to the Security for Safety problem, and an approach to threat modeling for this concept is provided. Finally, a variant of MILS-based architectural support is proposed for mechanisms implementing Security for Safety.