Mechanical Proofs about a Non-Repudiation Protocol (0)

by G Bella, L C Paulson
Venue:Proc. of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs’01), LNCS 2152