COMPAGNA LUCA

Security threat identification/testing using annotated sequence diagrams