Analysis of security protocols based on challenge-response

DOI10.1007/S11432-007-0015-8zbMATH Open1121.68045OpenAlexW2043474443MaRDI QIDQ2372525FDOQ2372525

Authors: Yanyan Li 

Publication date: 30 July 2007

Published in: Science in China. Series F (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11432-007-0015-8

Recommendations

• Analysis of security protocols as open systems
• Analysis of security protocols based on authentication test
• Security analysis of the modular enhanced symmetric role authentication (mERA) protocol
• scientific article; zbMATH DE number 1927581
• Analyzing security protocols with secrecy types and logic programs

zbMATH Keywords

network securityprotocol analysischallenge-responsestrand space model

Mathematics Subject Classification ID

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

Cites Work

• On the security of public key protocols
• Authentication tests and the structure of bundles.
• Study on strand space model theory
• Analysis of security protocols based on authentication test

Cited In (2)

• Security analysis of the modular enhanced symmetric role authentication (mERA) protocol
• Analysis of security protocols based on authentication test

This page was built for publication: Analysis of security protocols based on challenge-response

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