Mechanical proofs about a non-repudiation protocol (2001)

by Giampaolo Bella , Lawrence C Paulson
Venue:Theorem Proving in Higher Order Logics: TPHOLs 2001, LNCS 2152
Citations:27 - 3 self