Security Protocols XXI - Christianson (Springer Berlin Heidelberg, 2013)