Security protocols : International workshop : Konf. Cambridge, UK, 10.- 12. April 1996 - Lomas, Mark (Springer Verlag, 1997)