@inbook{Wolter10a,
  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},
}