Security Protocols - Christianson, Bruce; Kanade, Takeo; Crispo, Bruno; Malcolm, James A.; Roe, Michael (Springer Berlin / Heidelberg, 2005)