Security analysis of cryptographic protocols based on fine-grained freshness

MaRDI QIDQ3170753zbMATH OpenFDO

Authors Zhengjie Cheng, Xuejia Lai, Kefei Chen

Publication date 29 September 2011

zbMATH Keywords

cryptographic protocolfreshnesssecrecy

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Cryptographic protocol. Security analysis based on trusted freshness.
• Protocol security analysis based on an ideal
• scientific article; zbMATH DE number 3965967
• Analysis of security protocols as open systems
• Three systems for cryptographic protocol analysis

Cited in

(5)

• Provable security analysis of FIDO2
• Cryptographic protocol. Security analysis based on trusted freshness.
• scientific article; zbMATH DE number 2079917 (Why is no real title available?)
• Fine-grained cryptography revisited
• Fine-grained cryptography revisited

This page was built for publication: Security analysis of cryptographic protocols based on fine-grained freshness

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