SMS: Provable security