Αποστολή με SMS: Modelling and Verification of Secure Exams