2011 | OriginalPaper | Buchkapitel
Specifying Confidentiality in Circus
verfasst von : Michael J. Banks, Jeremy L. Jacob
Erschienen in: FM 2011: Formal Methods
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.