Non-interference through determinism

DOI10.1007/3-540-58618-0_55zbMATH Open1477.68063OpenAlexW2948700248MaRDI QIDQ826053FDOQ826053

Authors: A. W. Roscoe, Jim Woodcock, Lasse Wulf 

Publication date: 20 December 2021

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.7308

Recommendations

• scientific article; zbMATH DE number 1884405
• Preserving Secrecy Under Refinement
• Information flow, distributed systems, and refinement, by example
• A noninterference model for nondeterministic systems
• Action Refinement in Process Algebra and Security Issues

zbMATH Keywords

determinismformal methodsprocess algebrasecuritynon-interferenceautomatic verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer security (68M25)

Cited In (26)

• Automated verification of noninterference property
• Threat scenarios as a means to formally develop secure systems
• Elements of security: Closure, convergence, and protection
• Foundations of Security Analysis and Design II
• Scheduler-independent declassification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Security abstractions and intruder models (extended abstract)
• Unwinding Possibilistic Security Properties
• Title not available (Why is that?)
• On integrating confidentiality and functionality in a formal method
• Security invariants in discrete transition systems
• `Non-interference' implies equality
• Communicating Sequential Processes. The First 25 Years
• On refinement-closed security properties and nondeterministic compositions
• Rule formats for compositional non-interference properties
• Title not available (Why is that?)
• A noninterference model for nondeterministic systems
• The security pi-calculus and non-interference
• May testing, non-interference, and compositionality
• Nondeterministic admissible interference
• Tools and Algorithms for the Construction and Analysis of Systems
• Preservation of probabilistic information flow under refinement
• Creating high confidence in a separation kernel
• UTP, \textsf{\textit{Circus}}, and Isabelle
• Information flow, distributed systems, and refinement, by example

This page was built for publication: Non-interference through determinism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q826053)