Ketil Stølen (SINTEF, Norway) speaks about modeling, semantics and modularity in the context of (security) risk analysis.

Abstract: This talk will discuss issues related to risk modeling, the semantics of risk models and the quest for modularity in risk analysis. In particular, I will briefly introduce the CORAS language for security risk modeling and motivate and explain major design decisions. I will also present experiences and insights related to the formalization of CORAS and the ongoing quest to facilitate modularity in risk analysis.