Non-repudiation analysis with LYSA

A. Cortesi, M. Brusò

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)


This work introduces a formal analysis of the non-repudiation property for security protocols. Protocols are modelled in the process calculus LYSA, using an extended syntax with annotations. Non-repudiation is verified using a Control Flow Analysis, following the same approach introduced by M. Buchholtz and H. Gao for authentication and freshness analyses. The result is an analysis that can statically check the protocols to predict if they are secure during their execution and which can be fully automated.
Originele taal-2Engels
TitelProceedings of the IFIP 24th International Information Security Conference (IFIP SEC'09, Pafos, Cyprus, Greece, May 18-20, 2009)
RedacteurenD. Gritzalis, J. Lopez
Plaats van productieBoston
ISBN van geprinte versie978-3-642-01243-3
StatusGepubliceerd - 2009

Publicatie series

NaamIFIP Conference Proceedings
ISSN van geprinte versie1571-5736


Duik in de onderzoeksthema's van 'Non-repudiation analysis with LYSA'. Samen vormen ze een unieke vingerafdruk.

Citeer dit