Reference from ESORICS proceedings

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)

Proceedings table of contents