12. Security Protocols Workshop 2004: Cambridge, UK