An attack-finding algorithm for security protocols.

DOI10.1007/BF02943285zbMath1057.68006OpenAlexW1485466954WikidataQ115149380 ScholiaQ115149380MaRDI QIDQ1850665

Yingcai Bai, Dongxi Liu, Xiaoyong Li

Publication date: 2002

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

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

zbMATH Keywords

automatic attack construction algorithm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Cites Work

• An attack on the Needham-Schroeder public-key authentication protocol
• A logic of authentication

This page was built for publication: An attack-finding algorithm for security protocols.