A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols

Giancarlo Pellegrino, Luca Compagna, Thomas Morreggia
January 2013
PDF Cite DOI
Type
Conference paper
Publication
Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings