Formal methods to improve the identification and validation of network traffic.

Michael Finsterbusch, Jean-Alexander Mller

Browse the full ICNP paper archive.