SMS versenden: Provable security