scientific article
From MaRDI portal
Publication:2709234
zbMath0963.68105MaRDI QIDQ2709234
Publication date: 10 May 2001
Full work available at URL: http://www.jucs.org/jucs_6_11/nondeterministic_admissible_interference
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Controlling information release in the \(\pi\)-calculus ⋮ \textit{D\_PSNI}: delimited persistent stochastic non-interference ⋮ On Intransitive Non-interference in Some Models of Concurrency ⋮ Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols ⋮ Non-Interference Control Synthesis for Security Timed Automata
This page was built for publication:
