A Calculus of Information Flow

Colin O Halloran. A Calculus of Information Flow. In ESORICS 90 - First European Symposium on Research in Computer Security, October 24-26, 1990, Toulouse, France. pages 147-159, AFCET, 1990.

Abstract

Abstract is missing.