Envoyer par SMS: Verification of the Dynamic Authorization Protocol