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

Full work available at URL https://doi.org/10.1007/978-3-030-30281-8_13

Mathematics Subject Classification ID

Computer security (68M25) 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)

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

Cited in

(1)

• Persistent stochastic non-interference

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)