A Process Algebra for (Delimited) Persistent Stochastic Non-Interference

DOI10.1007/978-3-030-30281-8_13MaRDI QIDQ6489005zbMATH OpenFDO

Authors Andrea Marin, Carla Piazza, Sabina Rossi

Publication date 14 March 2024

Mathematics Subject Classification ID

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

Recommendations

• Persistent stochastic non-interference
• Persistent stochastic non-interference
• \textit{D\_PSNI}: delimited persistent stochastic non-interference
• scientific article; zbMATH DE number 1863164
• A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference

This page was built for publication: A Process Algebra for (Delimited) Persistent Stochastic Non-Interference

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