ADTool: Security Analysis with Attack-Defense Trees (Extended Version)
Attack-defense trees and two-player binary zero-sum extensive form games are equivalent