6 citations · 6 across the 1 of their papers we have counts for
1 paper · 1 filter
Annabelle McIver, Larissa Meinicke, Carroll Morgan
We give a sequential model for noninterference security including probability (but not demonic choice), thus supporting reasoning about the likelihood that high-security values mig…