Modeling Information Flow Dependencies with Boolean Functions