of vulnerabilities. Furthermore, the amount of manual effort required can be
greatly reduced through use of the automated Tiramisu ranking tool.
T-MAP defines a formal framework to measure COTS system security
based on attack path weights. Its strength lies in its three key features: distillation