Registre de correu electrònic: Some additional considerations of protocol analyses