Expressing Information Flow Properties (Foundations and Trends(r) in Privacy and Security)