Cryptographic protocol. Security analysis based on trusted freshness.

MaRDI QIDQ3100670zbMATH OpenFDO

Authors Ling Dong, Kefei Chen

Publication date 21 November 2011

zbMATH Keywords

cryptographic protocolssecurity of cryptographic protocolstrusted freshness

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Network protocols (68M12) Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Security analysis of cryptographic protocols based on fine-grained freshness
• Operational semantics and verification of security protocols.
• Protocols for authentification and key establishment
• Cryptographic protocol security analysis based on bounded constructing algorithm
• Foundations of Cryptography

Cited in

(4)

• Security analysis of cryptographic protocols based on fine-grained freshness
• scientific article; zbMATH DE number 1737464 (Why is no real title available?)
• Handbook of Formal Analysis and Verification in Cryptography
• Gauss optimization method for the dynamics of unilateral contact of rigid multibody systems

This page was built for publication: Cryptographic protocol. Security analysis based on trusted freshness.

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