Model-Based Security Testing - Deriving Test Models from Artefacts of Security Engineering.

Armin Lunkeit, Ina Schieferdecker

Browse the full ICST paper archive.