Network event recognition

DOI10.1007/S10703-005-3398-4zbMath1083.68001OpenAlexW2027995748MaRDI QIDQ812048

Karthikeyan Bhargavan, Carl A. Gunter

Publication date: 23 January 2006

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-005-3398-4

zbMATH Keywords

formal analysisprotocol verificationcorrectness of implementationslanguages for network protocolsNERLnetwork event recognitionNetwork monitoring

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12)

Related Items (1)

Network event recognition

Cites Work

• Network event recognition
• What packets may come
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Network event recognition