Simon N. Foley: A Model for Secure Information Flow. S&P 1989: 248-258