Zaslat SMS: Semantic models for information flow