First European Symposium On Research In Computer Security (ESORICS 90)
A Calculus of Information Flow
C. O'Halloran
Keywords :
Abstract : In this paper a category theoretic treatment of information flow is presented. Information flow relations within a category of safety specifications are introduced and their properties under conjunction from the calculus and parallel composition within CSP are examined.
(Pages 147-159)