Non-repudiation protocols with session labels have a number of vulnerabilities. Recently Cederquist, Corin and Dashti have proposed an optimistic non-repudiation protocol that avoids altogether the use of session labels. We have specified and analysed this protocol using an extended version of the AVISPA Tool and one important fault has been discovered. We describe the protocol, the analysis method, show two attack traces that exploit the fault and propose a correction to the protocol. © IFIP International Federation tor Information Processing 2007.
CITATION STYLE
Santiago, J., & Vigneron, L. (2007). Optimistic non-repudiation protocol analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4462 LNCS, pp. 90–101). Springer Verlag. https://doi.org/10.1007/978-3-540-72354-7_8
Mendeley helps you to discover research relevant for your work.