Formal analysis of non-repudiation protocols with SVO logic

MaRDI QIDQ5482204zbMATH OpenFDO

Authors Botao Li, Junzhou Luo

Publication date 28 August 2006

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• Formal analysis of timeliness in non-repudiation protocols
• An improved non-repudiation protocol and its security analysis
• Security analysis of efficient (Un-) fair non-repudiation protocols
• scientific article; zbMATH DE number 1304004
• On the security of fair non-repudiation protocols

Cited in

(5)

• scientific article; zbMATH DE number 1304004 (Why is no real title available?)
• Compound security protocol and its verification
• An improved non-repudiation protocol and its security analysis
• Security analysis of efficient (Un-) fair non-repudiation protocols
• Formal analysis of timeliness in non-repudiation protocols

This page was built for publication: Formal analysis of non-repudiation protocols with SVO logic

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