Αποστολή με SMS: Semantic models for information flow