Tools for Secure Systems Development with UML: Security Analysis with ATPs.

Jan Jrjens, Pasha Shabalin

Browse the full FASE paper archive.