Analysing Routing Protocols: Four Nodes Topologies Are Sufficient
From MaRDI portal
Publication:2894310
DOI10.1007/978-3-642-28641-4_3zbMath1353.68020MaRDI QIDQ2894310
Véronique Cortier, Jan Degrieck, Stéphanie Delaune
Publication date: 29 June 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28641-4_3
94A60: Cryptography
68M12: Network protocols
94A62: Authentication, digital signatures and secret sharing
Related Items
Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later, Automated Verification of Dynamic Root of Trust Protocols
Uses Software