A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A validation model for the DSR protocol
2004
24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings.
This paper presents a validation model for the Dynamic Source Routing (DSR) protocol. This model is based on a formal specification of the protocol. It also provides a verification technique to verify the protocol against the IETF DSR draft requirements [1] as well as a testing technique for the generation of a set of scenarios to check the conformance of a given implementation. The DSR protocol has been specified following the IETF DSR draft. The formal specification has been designed using
doi:10.1109/icdcsw.2004.1284120
dblp:conf/icdcsw/CavalliGMT04
fatcat:2dpg7wwvfngv5ahhiyqtde62oi