PUBLICATION: A tool for supporting developers in analyzing the security of web-based security protocols
© 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