Protocol security analysis based on an ideal

MaRDI QIDQ3365691zbMATH OpenFDO

Authors Haibo Sun, Li Li, Dongdai Lin

Publication date 23 January 2006

zbMATH Keywords

cryptographic protocol

Mathematics Subject Classification ID

Network protocols (68M12) Data encryption (aspects in computer science) (68P25)

Recommendations

• scientific article; zbMATH DE number 2202020
• scientific article; zbMATH DE number 2242702
• Algebraic Intruder Deductions
• Algebra model and security analysis for cryptographic protocols
• Three systems for cryptographic protocol analysis

Cited in

(5)

• Security Analysis of Two Distance-Bounding Protocols
• Security analysis of cryptographic protocols based on fine-grained freshness
• scientific article; zbMATH DE number 1977207 (Why is no real title available?)
• scientific article; zbMATH DE number 1857525 (Why is no real title available?)
• scientific article; zbMATH DE number 2242702 (Why is no real title available?)

This page was built for publication: Protocol security analysis based on an ideal

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