Zaslat SMS: Logics of separation