Security protocols 8th international workshop, Cambridge, UK, April 3 - 5, 2000 ; revised papers (Springer, 2001)