Security Protocols XXV - Stajano, Frank (Springer International Publishing, 2020)