Mechanical Proofs about a Non-repudiation Protocol

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/3-540-44755-5_8 ◽

2001 ◽

pp. 91-104 ◽

Cited By ~ 20

Author(s):

Giampaolo Bella ◽

Lawrence C. Paulson

Download Full-text