Conférence
A tool for supporting developers in analyzing the security of web-based security protocols
ICTSS 2013, 25th IFIP International Conference on Testing Software and Systems, November 13-15, 2013, Istanbul, Turkey / Also published in LNCS, Volume 8254/2013