By the same authors

Specifying Confidentiality in Circus

Research output: Contribution to conferencePaper

Published copy (DOI)



Publication details

DatePublished - 2011
Original languageEnglish


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.

Discover related content

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

View graph of relations