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