Calculated Secure Processes

Michael J. Banks; Jeremy L. Jacob

Calculated Secure Processes

Computer Science

Research output: Contribution to conference › Paper

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.

Original language	Undefined/Unknown
Pages	19--28
Publication status	Published - 1 Nov 2010

Cite this

@conference{5ffb8c4cc55a45fbbde7de474fd74d1c,

title = "Calculated Secure Processes",

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.",

author = "Banks, {Michael J.} and Jacob, {Jeremy L.}",

year = "2010",

month = nov,

day = "1",

language = "Undefined/Unknown",

pages = "19----28",

}

TY - CONF

T1 - Calculated Secure Processes

AU - Banks, Michael J.

AU - Jacob, Jeremy L.

PY - 2010/11/1

Y1 - 2010/11/1

N2 - 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.

AB - 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.

M3 - Paper

SP - 19

EP - 28

ER -