MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Computational Probabilistic Non-interference." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Computational probabilistic non-interference
by Michael Backes, Birgit Pfitzmann — 2002 — In Proc. 7th European Symposium on Research in Computer Security (ESORICS
…Computational Probabilistic Non-Interference £ Michael Backes and Birgit Pfitzmann ¡ ¢ Saarland…
Cited by 22 (8 self) – Add To MetaCart

Quantifying probabilistic information flow in computational reactive systems
by Michael Backes — 2005 — In ESORICS’05, volume 3679 of LNCS
… of information flow is equivalent to perfect or computational probabilistic non-interference, respectively. 1…
Cited by 1 (0 self) – Add To MetaCart

Intransitive Non-Interference for Cryptographic Purposes
by Michael Backes, Birgit Pfitzmann — 2003 — In Proc. 24th IEEE Symposium on Security & Privacy
… in capturing probabilistic non-interference. We investigate the notion of intransitive probabilistic non-interference…
Cited by 11 (6 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB