pattern matching

Dubhe is an analysis tool that takes in UML activity diagrams to determine a system's behavioural security posture.