Specifying Confidentiality in Circus

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 -