@article{backes04polynomial,
  author       = {Backes, Michael and Pfitzmann, Birgit and Steiner, Michael and Waidner, Michael},
  title        = {Polynomial Liveness},
  journal      = {Journal of Computer Security},
  volume       = {12},
  number       = {3-4},
  year         = {2004},
  pages        = {589-617}
}