A noninterference model for nondeterministic systems

MaRDI QIDQ5490407zbMATH OpenFDO

Authors jun Xie, Hao Huang

Publication date 4 October 2006

zbMATH Keywords

access control modelinformation flowinformation securitynoninterference modelsecurity model

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Dynamic intransitive noninterference revisited
• Automated verification of noninterference property
• Non-interference through determinism
• A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
• On intransitive non-interference in some models of concurrency

Cited in

(12)

• An implementation-theoretic approach to non-cooperative foundations
• Dynamic intransitive noninterference revisited
• Information flow, distributed systems, and refinement, by example
• Automated verification of noninterference property
• System-level non-interference of constant-time cryptography. I: Model
• A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
• Non-interference Properties for Data-Type Reduction of Communicating Systems
• Symbolic algorithmic verification of intransitive generalized noninterference
• Non-interference models and subliminal channels
• Characterizing intransitive noninterference for 3-domain security policies with observability
• A comparison of semantic models for noninterference
• Non-interference through determinism

This page was built for publication: A noninterference model for nondeterministic systems

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