Jane Hillston

Latest

• Delimited persistent stochastic non-interference
• Information Flow Security for Stochastic Processes
• Persistent stochastic non-interference