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