A proof of non-repudiation

DOI10.1007/3-540-45807-7_19MaRDI QIDQ4411553zbMATH OpenFDO

Authors Giampaolo Bella, 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/24670119.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
• Towards verification of non-repudiation protocols
• On-the-Fly Model Checking of Fair Non-repudiation Protocols
• On the security of fair non-repudiation protocols
• Security analysis of efficient (Un-) fair non-repudiation protocols

Cited in

(5)

• scientific article; zbMATH DE number 5901648 (Why is no real title available?)
• On-the-Fly Model Checking of Fair Non-repudiation Protocols
• A proof of non-repudiation (Transcript of discussion)
• Observations on non-repudiation
• Mechanical proofs about a non-repudiation protocol

Describes a project that uses

Uses Software

• Isabelle
• Isabelle/HOL

This page was built for publication: A proof of non-repudiation

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