Ralf Küsters, Henning Schnoor, Tomasz Truderung: A Formal Definition of Online Abuse-Freeness. SecureComm 2010: 484-497