Logic for verifying public-key cryptographic protocols

DOI10.1049/ip-cdt:19970838zbMath0866.68036OpenAlexW2070207454MaRDI QIDQ3125910

No author found.

Publication date: 20 March 1997

Published in: IEE Proceedings - Computers and Digital Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1049/ip-cdt:19970838

zbMATH Keywords

security protocolscryptographic protocol verification

Mathematics Subject Classification ID

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

Related Items (1)

Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography

This page was built for publication: Logic for verifying public-key cryptographic protocols