scientific article; zbMATH DE number 2202252

MaRDI QIDQ5314464zbMATH OpenFDO

Authors Xinming Ye, Song-Xia Hao

Publication date 5 September 2005

zbMATH Keywords

automata theoryformal verificationmessage sequence chartsmodel checking

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• scientific article; zbMATH DE number 1670759
• Formal verification of standards for distance vector routing protocols
• Modelling and verifying the AODV routing protocol
• Formal verification of secure ad hoc routing protocols using AVISPA: ARAN case study

Cited in

(6)

• scientific article; zbMATH DE number 1670759 (Why is no real title available?)
• Formal verification of standards for distance vector routing protocols
• scientific article; zbMATH DE number 1796132 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• A Nitpick analysis of Mobile IPv6
• Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections

This page was built for publication:

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