By the same authors

Calculated Secure Processes

Research output: Contribution to conferencePaper

Author(s)

Department/unit(s)

Publication details

DatePublished - 1 Nov 2010
Original languageUndefined/Unknown

Abstract

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