@conference{EURECOM+4183,
  author = {Pellegrino, Giancarlo and  Compagna, Luca and  Morreggia, Thomas},
  title = {A tool for supporting developers in analyzing the security of web-based security protocols},
  booktitle = {ICTSS 2013, 25th IFIP International Conference on Testing Software and Systems, November 13-15, 2013, Istanbul, Turkey / Also published in LNCS, Volume 8254/2013},
  year = {2013},
  editor = {Springer},
  address = {Istanbul},
  note = {©  Springer. Personal use of this material is permitted. The definitive version of this paper was published in ICTSS 2013, 25th IFIP International Conference on Testing Software and Systems, November 13-15, 2013, Istanbul, Turkey / Also published in LNCS, Volume 8254/2013 and is available at : http://dx.doi.org/10.1007/978-3-642-41707-8\_19},
}