Foundations of Security Analysis and Design - Aldini, Alessandro (Springer Berlin Heidelberg, 2020)