Probabilistic Noninterference

MaRDI QIDQ7361310FDO

Authors Andrei Popescu, Johannes Hölzl

Publication date 11 March 2014

Cites work

• Formalizing probabilistic noninterference
• Noninterfering schedulers. When possibilistic noninterference implies probabilistic noninterference

This page was built for software: Probabilistic Noninterference