A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols. - Giancarlo Pellegrino; Luca Compagna; Thomas Morreggia (ICTSS, 2013)