Graphical Models for Security - Harley Eades III, Olga Gadyatskaya (Springer, 2020)