@inbook{Wolter2010,
  title = {Formal Methods for Quantitative Aspects of Programming Languages},
  author = {Katinka Wolter and Philipp Reinecke},
  chapter = {Performance and Security Tradeoff},
  editor = {A. Aldini, M. Bernardo, A. Di Pierro, H. Wiklicky},
  pages = {135--167},
  publisher = {Springer},
  year = {2010},
  month = {June},
  series = {LNCS},
  volume = {6154},
  owner = {katinka},
  timestamp = {2010.07.06},
}