Information Flow Control for Distributed Usage Control