Models for an Adversary-Centric Protocol Logic

DOI10.1016/S1571-0661(04)00245-2zbMath1268.03036MaRDI QIDQ2841218

Peter Selinger

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Cryptography (94A60) Logic in computer science (03B70)

Related Items (3)

Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ Proving semantic properties as first-order satisfiability ⋮ Finite reasons for safety

Cites Work

• On the security of public key protocols
• Unnamed Item
• Unnamed Item

This page was built for publication: Models for an Adversary-Centric Protocol Logic