Automatic Analysis of a Non-Repudiation Protocol