Using equivalence-checking to verify robustness to denial of service

DOI10.1016/j.comnet.2005.06.011zbMath1092.68006OpenAlexW1976558359MaRDI QIDQ2493670

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

process algebrabisimulationprotocolsdenial of serviceadmissible interferenceequivalence-checking

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)

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