A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference

DOI10.1007/978-3-642-03459-6_2zbMath1252.68188OpenAlexW1585711433MaRDI QIDQ3184710

Alessandro Aldini, Marco Bernardo

Publication date: 22 October 2009

Published in: Foundations and Applications of Security Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03459-6_2

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Unnamed Item ⋮ Persistent Stochastic Non-Interference ⋮ \textit{D\_PSNI}: delimited persistent stochastic non-interference

This page was built for publication: A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference