A formal definition of online abuse-freeness

Abstract

Abuse-freeness is an important security requirement for contract-signing protocols. In previous work, Kahler, Küsters, 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.© Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering 2010.