Upper Bounds for Adversaries' Utility in Attack Trees. - Ahto Buldas; Roman Stepanenko (GameSec, 2012)