International Workshop on Security Protocols (10th 2002 Cambridge, England)