Analysing the security of a non-repudiation communication protocol with mandatory proof of receipt. - Tom Coffey; Puneet Saidha; Peter Burrows (ISICT, 2003)