On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol