A Formal Definition of Online Abuse-Freeness

Ralf Küsters; Henning Schnoor; Tomasz Truderung

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

Download

560 downloads

Cite: BibTeX Plain Text

@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üsters¹^,*, Henning Schnoor²^,*, Tomasz Truderung¹^,*

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.

Keywords: contract signing cryptographic protocols formal verification

Published: 2012-05-28

: http://dx.doi.org/10.1007/978-3-642-16161-2_28