Obviamente la necesidad de Alice de enviarle a Bob la información cifrada también la cubre la implementación.