Secure protocol composition