Security Protocols XVII - Hutchison, David; Kanade, Takeo; Malcolm, James A.; Matyás, Vashek; Roe, Michael (Springer Berlin Heidelberg, 2013)