Simon N. Foley: A Taxonomy for Information Flow Policies and Models. S&P 1991: 98-109