Integrating Security Protocols in Scenario-based Requirements Specifications. - Thorsten Koch; Sascha Trippel; Stefan Dziwok; Eric Bodden (MODELSWARD, 2022)