Secure protocol composition - Datta, A; Derek, A; Mitchell, J; Pavlovic, D (2003)