Study on strand space model theory

DOI10.1007/BF02947115zbMath1031.68063OpenAlexW1967193464MaRDI QIDQ1412125

QingGuang Ji, Yongbin Zhou, Dengguo Feng, Sihan Qing

Publication date: 6 November 2003

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02947115

zbMATH Keywords

cryptographic protocol analysisgeneralized strand space modelnetwork security protocol

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Related Items (1)

Analysis of security protocols based on challenge-response

Cites Work

• Inter-protocol interleaving attacks on some authentication and key distribution protocols
• A logic of authentication
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Study on strand space model theory