An extension of formal analysis method with reasoning: a case study of flaw detection for non-repudiation and fairness

DOI10.1007/978-3-030-16458-4_23MaRDI QIDQ2327201zbMATH OpenOpenAlexFDO

Authors Jingchen Yan, Yating Wang, Yuichi Goto, Jingde Cheng

Publication date 14 October 2019

Full work available at URL https://doi.org/10.1007/978-3-030-16458-4_23

zbMATH Keywords

cryptographic protocolfairnessformal analysis method with reasoningnon-repudiation

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• scientific article; zbMATH DE number 2102391
• Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder
• Three systems for cryptographic protocol analysis
• scientific article; zbMATH DE number 1304004
• scientific article; zbMATH DE number 2242699

Cited in

(1)

• Static evidences for attack reconstruction

This page was built for publication: An extension of formal analysis method with reasoning: a case study of flaw detection for non-repudiation and fairness

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