Trike toolset. The input to the threat model includes two additional
Trike-generated models, a requirements model and an implementation
model, along with notes on system risk and workflows. The tool also
provides threat and attack graphs.