Scenario-based specification of security protocols and transformation to security model checkers.

Thorsten Koch, Stefan Dziwok, Jrg Holtmann, Eric Bodden

Browse the full MODELS paper archive.