Nondeterministic admissible interference

MaRDI QIDQ2709234zbMATH OpenFDO

Authors John Mullins

Publication date 10 May 2001

Published in Journal of Universal Computer Science (Search for Journal in Brave)

Full work available at URL http://www.jucs.org/jucs_6_11/nondeterministic_admissible_interference

zbMATH Keywords

confidentialitydowngrading systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Computational probabilistic non-interference
• Persistent stochastic non-interference
• Persistent stochastic non-interference
• Non-interference through determinism
• Interference Channels With Arbitrarily Correlated Sources
• scientific article; zbMATH DE number 3856981
• Interference Assisted Secret Communication
• Interference Channels With Source Cooperation
• Interference Decoding for Deterministic Channels

Cited in

(6)

• \textit{D\_PSNI}: delimited persistent stochastic non-interference
• Controlling information release in the \(\pi\)-calculus
• Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols
• Non-interference control synthesis for security timed automata
• On intransitive non-interference in some models of concurrency
• Downgrading policies and relaxed noninterference

This page was built for publication: Nondeterministic admissible interference

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