Formal framework for an adaptive risk management for the protection of critical infrastructures You are here: Home Publications Lecture Formal framework for an adaptive risk management for the protection of critical infrastructures