4. Security Protocols Workshop 1996: Cambridge, UK