By the same authors

Calculated Secure Processes

Research output: Contribution to conferencePaper



Publication details

DatePublished - 1 Nov 2010
Original languageUndefined/Unknown


This paper introduces a versatile operator for modifying CSP processes to satisfy particular information flow security requirements. We present and justify an algebraic semantics for this operator, which allows us to derive secure processes from (potentially) insecure processes in a calculational style. Moreover, the operator simplifies the task of verifying the security of processes.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations