Fine-Grained and Coarse-Grained Reactive Noninterference
From MaRDI portal
Publication:2830033
DOI10.1007/978-3-319-05119-2_10zbMath1348.68155OpenAlexW1021787452MaRDI QIDQ2830033
Pejman Attar, Ilaria Castellani
Publication date: 9 November 2016
Published in: Trustworthy Global Computing (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-00915241/file/tgc13.pdf
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Uses Software