First European Symposium On Research In Computer Security (ESORICS 90)
A Calculus of Information Flow
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.
Proceedings table of contents