Thorsten Koch, Stefan Dziwok, Jörg Holtmann, Eric Bodden. Scenario-based specification of security protocols and transformation to security model checkers. In Eugene Syriani, Houari A. Sahraoui, Juan de Lara, Silvia Abrahão, editors, MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020. pages 343-353, ACM, 2020. [doi]
Abstract is missing.