Dubhe

Dubhe is an automated tool that can determine a system's behavioural security posture by analyzing UML activity diagrams