Paper Info
Title
A Formal Definition of Online Abuse-Freeness
Abstract
Abuse-freeness is an important security requirement for contract-signing protocols. In previous work, Kahler, Kusters, and Wilke proposed a definition for offline abuse-freeness. In this work, we generalize this definition to online abuse-freeness and apply it to two prominent contract-signing protocols. We demonstrate that online abuse-freeness is strictly stronger than offline abuse-freeness.
Year
DOI
Venue
2010
10.1007/978-3-642-16161-2_28
Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering
Keywords
DocType
Volume
contract signing,cryptographic protocols,formal verification
Conference
50
ISSN
Citations 
PageRank 
1867-8211
2
0.39
References 
Authors
18
3
Name
Order
Citations
PageRank
Ralf Küsters1101469.62
Henning Schnoor236332.05
Tomasz Truderung343917.37