Security protocols. 11th international workshop : Proceedings. Cambridge, UK. 2.- 4. Apr. 2003, Revised Selected Papers - Christianson, Bruce; Crispo, Bruno; Malcom, James A.; Roe, Michael (Springer Verlag, 2004)