Security Protocols XIX - Christianson (Springer Berlin Heidelberg, 2011)