Delimited persistent stochastic non-interference

Jane Hillston, Carla Piazza, Andrea Marin, Sabina Rossi
2019-01-01
Cite DOI URL
Type
Conference paper
Publication
ACM International Conference Proceeding Series
Markovian models; Non-Interference; Process Algebra; Human-Computer Interaction; Computer Networks and Communications; 1707; Software

Related