Security Protocols 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers - Christianson,Bruce; Crispo,Bruno; Malcom,James A.; Roe,Michael (Springer London, Limited)