External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Giancarlo Pellegrino, Luca Compagna, Thomas Morreggia. A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols. In Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich, editors, Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings. Volume 8254 of Lecture Notes in Computer Science, pages 277-282, Springer, 2013. [doi]

Authors

Giancarlo Pellegrino

This author has not been identified. Look up 'Giancarlo Pellegrino' in Google

Luca Compagna

This author has not been identified. Look up 'Luca Compagna' in Google

Thomas Morreggia

This author has not been identified. Look up 'Thomas Morreggia' in Google
runs on