Expressing Information Flow Properties