SMS: Semantic models for information flow