@article{CMPP14,
  author        = {K. Chatzikokolakis and S. A. M\"odersheim and C. Palamidessi and J. Pang},
  title         = {Preface: Foundational aspects of security},
  journal       = {Journal of Computer Security},
  year          = {2014},
  volume        = {22},
  number        = {2},
  pages         = {201-202}
}