Network event recognition

DOI10.1007/S10703-005-3398-4MaRDI QIDQ812048zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• What packets may come: automata for network monitoring
• scientific article; zbMATH DE number 1203291
• scientific article; zbMATH DE number 140248
• A discrete event systems approach for protocol conversion
• A discrete event systems approach to network fault management: detection and diagnosis of faults

Cites work

• scientific article; zbMATH DE number 1670556 (Why is no real title available?)
• scientific article; zbMATH DE number 1670735 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 571346 (Why is no real title available?)
• Network event recognition
• What packets may come: automata for network monitoring

Cited in

(3)

• What packets may come: automata for network monitoring
• Efficient protocol testing under temporal uncertain event using discrete-event network simulations
• Network event recognition

This page was built for publication: Network event recognition

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