Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent