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_23zbMATH Open1461.94087OpenAlexW2938729172MaRDI QIDQ2327201FDOQ2327201

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

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

zbMATH Keywords

fairnesscryptographic protocolnon-repudiationformal analysis method with reasoning

Mathematics Subject Classification ID

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

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)