Zaslat SMS: Provable security