The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. - Alessandro Armando; David A. Basin; Yohan Boichut; Yannick Chevalier; Luca Compagna; Jorge Cuéllar; Paul Hankes Drielsma; Pierre-Cyrille Héam; Olga Kouchnarenko; Jacopo Mantovani; Sebastian Mödersheim; David von Oheimb; et al. (CAV, 2005)

Optimistic Non-repudiation Protocol Analysis. - Judson Santiago; Laurent Vigneron (WISTP, 2007)

Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder - Francis Klay; Judson Santiago; Laurent Vigneron (CoRR, 2007)