How to systematically secure anything: a repository about security engin...
A Java library for parsing and programmatically using threat models