@article{backes04computational,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {Computational Probabilistic Non-Interference},
  journal      = {International Journal of Information Security (IJIS)},
  volume       = {3},
  number       = {1},
  year         = {2004},
  pages        = {42-60}
}