Security Protocols XXV - Stajano (Springer International Publishing, 2017)