Security Protocols 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers - Christianson, Bruce; Crispo, Bruno; Malcolm, James A.; Roe, Michael (Springer Berlin Heidelberg, 2010)