A proof of non-repudiation (Transcript of discussion)

DOI10.1007/3-540-45807-7_20MaRDI QIDQ4411554zbMATH OpenFDO

Authors Lawrence C. Paulson

Publication date 9 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2467/24670126.htm

Mathematics Subject Classification ID

Network protocols (68M12) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• Mechanical proofs about a non-repudiation protocol
• A proof of non-repudiation
• Non-repudiation in SET: Open issues
• Observations on non-repudiation
• Merkle puzzles revisited (Transcript of discussion)

Cited in

(1)

• scientific article; zbMATH DE number 5901648 (Why is no real title available?)

This page was built for publication: A proof of non-repudiation (Transcript of discussion)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411554)