A noninterference model for nondeterministic systems

MaRDI QIDQ5490407zbMATH OpenFDO

Authors jun Xie, Hao Huang

Publication date 4 October 2006

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)

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)

• 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
• Non-interference through determinism
• Characterizing intransitive noninterference for 3-domain security policies with observability
• 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)