Skip to content

Decidability of Parameterized Probabilistic Information Flow.

Danile Beauquier, Marie Duflot, Yury Lifshits

Year2007
ProceedingsCSR

Browse the full CSR paper archive.