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
623 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ü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.

Keywords
contract signing cryptographic protocols formal verification
Published
2012-05-28
http://dx.doi.org/10.1007/978-3-642-16161-2_28
Copyright © 2010–2024 ICST
EAI Logo

About EAI

Community

Publish with EAI