L.C.: Mechanical proofs about a non-repudiation protocol (2001)

by G Bella, Paulson
Venue:TPHOLs 2001. LNCS