A noninterference model for nondeterministic systems

zbMATH Open1100.68121MaRDI QIDQ5490407FDOQ5490407

Authors: jun Xie, Hao Huang 

Publication date: 4 October 2006

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

zbMATH Keywords

information securityinformation flowsecurity modelaccess control modelnoninterference model

Mathematics Subject Classification ID

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

Cited In (12)

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

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)