Specifying Confidentiality in Circus

Michael J. Banks; Jeremy L. Jacob

doi:10.1007/978-3-642-21437-0_18

Specifying Confidentiality in Circus

Michael J. Banks, Jeremy L. Jacob

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

This paper presents an approach for extending the Circus formalism to accommodate information flow security concerns. Working with the semantics of Circus, we introduce a notation for specifying which aspects of Circus processes are confidential and should not be revealed to low-level users. We also describe a novel procedure for verifying that a process satisfies its confidentiality properties.

Original language	English
Pages	215-230
DOIs	https://doi.org/10.1007/978-3-642-21437-0_18
Publication status	Published - 2011

Access to Document

10.1007/978-3-642-21437-0_18

Cite this

@conference{4ff193221e194e56be00211cfc1b1e08,

title = "Specifying Confidentiality in Circus",

abstract = "This paper presents an approach for extending the Circus formalism to accommodate information flow security concerns. Working with the semantics of Circus, we introduce a notation for specifying which aspects of Circus processes are confidential and should not be revealed to low-level users. We also describe a novel procedure for verifying that a process satisfies its confidentiality properties.",

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

year = "2011",

doi = "10.1007/978-3-642-21437-0_18",

language = "English",

pages = "215--230",

}

TY - CONF

T1 - Specifying Confidentiality in Circus

AU - Banks, Michael J.

AU - Jacob, Jeremy L.

PY - 2011

Y1 - 2011

N2 - This paper presents an approach for extending the Circus formalism to accommodate information flow security concerns. Working with the semantics of Circus, we introduce a notation for specifying which aspects of Circus processes are confidential and should not be revealed to low-level users. We also describe a novel procedure for verifying that a process satisfies its confidentiality properties.

AB - This paper presents an approach for extending the Circus formalism to accommodate information flow security concerns. Working with the semantics of Circus, we introduce a notation for specifying which aspects of Circus processes are confidential and should not be revealed to low-level users. We also describe a novel procedure for verifying that a process satisfies its confidentiality properties.

UR - http://www.scopus.com/inward/record.url?scp=79959985369&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-21437-0_18

DO - 10.1007/978-3-642-21437-0_18

M3 - Paper

SP - 215

EP - 230

ER -

Specifying Confidentiality in Circus

Abstract

Access to Document

Other files and links

Cite this