Tools for model-based security engineering.

Jan Jrjens, Jorge Fox

Browse the full ICSE paper archive.