Safety and security are two historically separated fields that have many aspects in common. Safety is the absence of disruptions due to unintended failures; security is the absence of disruptions due to malicious attacks. While both safety and security aim at mitigating system risks with cost-effective counter measures, they take opposing views when in comes to modelling, measuring and mitigating. In this talk, I will present the main differences and similarities between safety and security risk analyses, as well as directions to reconcile these important fields, through mathematical game theory, uncertainty reasoning and stochastic analysis. The research is funded by an ERC consolidator grant CAESAR: integrating safety and cybersecurity through stochastic model checking.
Program Display Configuration
Mon 12 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Parischange
10:00 - 11:00
Invited talk 1SPIN at SPIN Chair(s): Dragan Bosnacki Eindhoven University of Technology, The Netherlands