MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Probabilistic Interference." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • 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
  • Advisors:  
  • by Olga Goussevskaia, Roger Wattenhofer, Thomas Moscibroda — 2007
  • ….0.4. Consider a node x ∈ V . The probabilistic interference at x, ψx, is defined as the expected value…
  • Add To MetaCart
  • Measuring the Confinement of Concurrent Probabilistic Systems  
  • by Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky — 2003 — In Proc. of WITS’03 – 2003 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security
  • … of the problem: since (probabilistic) interference can be exploited by a Trojan horse to reliably leak high…
  • Cited by 3 (3 self) – Add To MetaCart
  • A Classical Automata Approach to Noninterference Type Problems  
  • by Ira S. Moskowitz, Ira S. Moskowitz, Oliver L. Costich, Oliver L. Costich — 1992 — In: The Computer Security Foundations Workshop V proceedings: June 16--18, 1992, the Franconia Inn
  • …" secure systems. Probabilistic interference [8] arose to analyze situations in nondeterministic systems…
  • Cited by 7 (0 self) – Add To MetaCart
  • A probabilistic property-specific approach to information flow  
  • by Danièle Beauquier, Marie Duflot, Marius Minea — 2005 — In Proc. Int. Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security (MMM-ACNS ’05), volume 3685 of LNCS
  • … distinguishes mere correlation from actual causal influence. Gray [7] introduces probabilistic interference in a…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB