Security and Privacy in Communication Networks. 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings

Research Article

A Formal Definition of Online Abuse-Freeness

Download221 downloads
  • @INPROCEEDINGS{10.1007/978-3-642-16161-2_28,
        author={Ralf K\'{y}sters and Henning Schnoor and Tomasz Truderung},
        title={A Formal Definition of Online Abuse-Freeness},
        proceedings={Security and Privacy in Communication Networks. 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings},
        proceedings_a={SECURECOMM},
        year={2012},
        month={5},
        keywords={contract signing cryptographic protocols formal verification},
        doi={10.1007/978-3-642-16161-2_28}
    }
    
  • Ralf Küsters
    Henning Schnoor
    Tomasz Truderung
    Year: 2012
    A Formal Definition of Online Abuse-Freeness
    SECURECOMM
    Springer
    DOI: 10.1007/978-3-642-16161-2_28
Ralf Küsters1,*, Henning Schnoor2,*, Tomasz Truderung1,*
  • 1: Universität Trier
  • 2: Christian-Albrechts-Universität zu Kiel
*Contact email: kuesters@uni-trier.de, schnoor@ti.informatik.uni-kiel.de, truderung@uni-trier.de

Abstract

Abuse-freeness is an important security requirement for con-tract-signing protocols. In previous work, Kähler, Küsters, and Wilke proposed a definition for abuse-freeness. In this work, we generalize this definition to abuse-freeness and apply it to two prominent contract-signing protocols. We demonstrate that online abuse-freeness is strictly stronger than offline abuse-freeness.