Foundations of Security Analysis and Design VII - Aldini (Springer International Publishing, 2014)