Integrating Security Protocols in Scenario-based Requirements Specifications.

Thorsten Koch, Sascha Trippel, Stefan Dziwok, Eric Bodden

Browse the full MODELSWARD paper archive.