On the quest for impartiality: Design and Analysis of a fair non-repudiation protocol

J.G. Cederquist, R.J. Corin, Muhammad Torabi Dashti

    Research output: Book/ReportReportProfessional

    12 Citations (Scopus)
    60 Downloads (Pure)

    Abstract

    We design and analyze a simple optimistic fair non-repudiation protocol. Our protocol is considerably simpler and more efficient than current proposals, due mainly to the avoidance of using session labels. We model-check both safety and liveness properties. We verify the safety properties using a standard intruder, and the liveness properties using an intruder that respects the resilient communication channels assumption. Finally, to provide further confidence in the protocol we expose several vulnerabilities on weaker versions of our protocol.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherDistributed and Embedded Security (DIES)
    Number of pages46
    Publication statusPublished - Jul 2005

    Publication series

    NameCTIT Technical Report Series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
    No.TR-CTIT-05-32
    ISSN (Print)1381-3625

    Keywords

    • SCS-Cybersecurity
    • METIS-248106
    • IR-57031
    • EWI-5735

    Cite this