Non-interference through determinism

DOI10.1007/3-540-58618-0_55MaRDI QIDQ826053zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

automatic verificationdeterminismformal methodsnon-interferenceprocess algebrasecurity

Mathematics Subject Classification ID

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

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

Cited in

(26)

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

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)