Using equivalence-checking to verify robustness to denial of service

DOI10.1016/J.COMNET.2005.06.011MaRDI QIDQ2493670zbMATH OpenOpenAlexFDO

Authors Stéphane Lafrance

Publication date 16 June 2006

Published in Computer Networks (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.comnet.2005.06.011

zbMATH Keywords

admissible interferencebisimulationdenial of serviceequivalence-checkingprocess algebraprotocols

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Automated verification of equivalence properties of cryptographic protocols
• scientific article; zbMATH DE number 1832233
• Analysis of security protocols as open systems
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
• SPEC: an equivalence checker for security protocols

This page was built for publication: Using equivalence-checking to verify robustness to denial of service

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2493670)