Title: Security Protocols: International Workshop Cambridge, United Kingdom April 10-12, 1996