Search

We combine cyber risk literature with insurance law and economics literature to study cyber insurance contracts. We aim to explore to what extent current cyber insurance contracts contribute to social welfare, both theoretically and empirically. First, we discuss main trade-offs in insuring cyber risk within a theoretical framework. This framework also includes strategic behaviour of market participants and impediments for market growth that result from the complex dynamics of cyber risk. Subsequently, a case study in the Netherlands compares the theoretical expectations with the actual state of cyber insurance contracts, prices and market participants. The results suggest that insurers currently halt between two options: either a strategy of rigorous market penetration with easily accessible and attractive insurance products, or a strategy of significant hedging of correlated risks that reduces the potential of cyber insurance. We aim to assist lawyers, legal counsels and judges when drafting or reviewing actual cyber insurance contracts. [ABSTRACT FROM AUTHOR]

In the model-driven engineering field, model execution is one of the main ways to fill the gap between the code (i.e. the developed system) and the model. For adapting a model execution, we propose to directly adapt the model under execution. This requires to add onto the model requisite elements for the adaptation but this avoids to have a second model dedicated to the adaptation as for models@run.time. This paper proposes a contract-based approach for directly adapting a model execution. If some conditions of the contract are not respected, an adaptation action has to be undertaken. The approach is illustrated through a state machine i-DSML (interpreted Domain Specific Modeling Language) and an example of a railway signaling based on the ability to ensure that a model is adapted with a given execution environment. [ABSTRACT FROM AUTHOR]