Noninterference with Local Policies
From MaRDI portal
Publication:2849922
DOI10.1007/978-3-642-40313-2_31zbMath1398.68363arXiv1208.5580OpenAlexW1800818214MaRDI QIDQ2849922
Thomas Wilke, Henning Schnoor, Sebastian Eggert
Publication date: 20 September 2013
Published in: Mathematical Foundations of Computer Science 2013 (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1208.5580
Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
This page was built for publication: Noninterference with Local Policies
