Giampaolo Bella Lawrence C. Paulson Mechanical Proofs about a Non-repudiation Protocol. 91-104 2001 conf/tphol/2001 TPHOLs http://link.springer.de/link/service/series/0558/bibs/2152/21520091.htm db/conf/tphol/tphol2001.html#BellaP01