22 citations · 44 across the 15 of their papers we have counts for
1 paper · 1 filter
Annabelle McIver, Larissa Meinicke, Carroll Morgan
We use Hidden Markov Models to motivate a quantitative compositional semantics for noninterference-based security with iteration, including a refinement- or "implements" relation t…