Privacy And Utility In Dynamic Systems: Verification And Enforcement