During the past decade, secure software design techniques have found their way into the software development lifecycle. In this context, threat modeling (or analysis) methodologies are used to systematically identify ...