8. Security Protocols Workshop 2000: Cambridge, UK