Model-based Security Testing Using UMLsec: A Case Study

Jan Jürjens. Model-based Security Testing Using UMLsec: A Case Study. Electronic Notes in Theoretical Computer Science, 220(1):93-104, 2008. [doi]

Abstract

Abstract is missing.