Automated Analysis of AODV Using UPPAAL

Ansgar Fehnker; Rob van Glabbeek; Peter Höfner; Annabelle McIver; Marius Portmann; Wee Lum Tan

doi:10.1007/978-3-642-28756-5_13

Automated Analysis of AODV Using UPPAAL

Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh networks.

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
Editors	Cormac Flanagan, Barbara König
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	173-187
Number of pages	15
ISBN (Electronic)	978-3-642-28756-5
ISBN (Print)	978-3-642-28755-8
DOIs	https://doi.org/10.1007/978-3-642-28756-5_13
Publication status	Published - 1 Apr 2012
Event	The 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2012 - Tallinn, Estonia Duration: 27 Mar 2012 → 30 Mar 2012 Conference number: 18

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin, Heidelberg
Volume	7214
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	The 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2012
Abbreviated title	TACAS 2012
Country/Territory	Estonia
City	Tallinn
Period	27/03/12 → 30/03/12

Access to Document

10.1007/978-3-642-28756-5_13Licence: All Rights Reserved

https://link.springer.com/chapter/10.1007/978-3-642-28756-5_13Licence: All Rights Reserved

Cite this

Fehnker, A., van Glabbeek, R., Höfner, P., McIver, A., Portmann, M., & Tan, W. L. (2012). Automated Analysis of AODV Using UPPAAL. In C. Flanagan, & B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings (pp. 173-187). (Lecture Notes in Computer Science; Vol. 7214). Springer. https://doi.org/10.1007/978-3-642-28756-5_13

Fehnker, Ansgar ; van Glabbeek, Rob ; Höfner, Peter et al. / Automated Analysis of AODV Using UPPAAL. Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings. editor / Cormac Flanagan ; Barbara König. Berlin, Heidelberg : Springer, 2012. pp. 173-187 (Lecture Notes in Computer Science).

@inproceedings{01fa000052ff4bb799a19f27e15ea6cd,

title = "Automated Analysis of AODV Using UPPAAL",

abstract = "This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh networks.",

author = "Ansgar Fehnker and {van Glabbeek}, Rob and Peter H{\"o}fner and Annabelle McIver and Marius Portmann and Tan, {Wee Lum}",

year = "2012",

month = apr,

day = "1",

doi = "10.1007/978-3-642-28756-5_13",

language = "English",

isbn = "978-3-642-28755-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "173--187",

editor = "Cormac Flanagan and Barbara K{\"o}nig",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings",

address = "United Kingdom",

note = "The 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2012, TACAS 2012 ; Conference date: 27-03-2012 Through 30-03-2012",

}

Fehnker, A, van Glabbeek, R, Höfner, P, McIver, A, Portmann, M & Tan, WL 2012, Automated Analysis of AODV Using UPPAAL. in C Flanagan & B König (eds), Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings. Lecture Notes in Computer Science, vol. 7214, Springer, Berlin, Heidelberg, pp. 173-187, The 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2012, Tallinn, Estonia, 27/03/12. https://doi.org/10.1007/978-3-642-28756-5_13

Automated Analysis of AODV Using UPPAAL. / Fehnker, Ansgar; van Glabbeek, Rob; Höfner, Peter et al.
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings. ed. / Cormac Flanagan; Barbara König. Berlin, Heidelberg: Springer, 2012. p. 173-187 (Lecture Notes in Computer Science; Vol. 7214).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Automated Analysis of AODV Using UPPAAL

AU - Fehnker, Ansgar

AU - van Glabbeek, Rob

AU - Höfner, Peter

AU - McIver, Annabelle

AU - Portmann, Marius

AU - Tan, Wee Lum

N1 - Conference code: 18

PY - 2012/4/1

Y1 - 2012/4/1

N2 - This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh networks.

AB - This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh networks.

U2 - 10.1007/978-3-642-28756-5_13

DO - 10.1007/978-3-642-28756-5_13

M3 - Conference contribution

SN - 978-3-642-28755-8

T3 - Lecture Notes in Computer Science

SP - 173

EP - 187

BT - Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

A2 - Flanagan, Cormac

A2 - König, Barbara

PB - Springer

CY - Berlin, Heidelberg

T2 - The 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2012

Y2 - 27 March 2012 through 30 March 2012

ER -

Fehnker A, van Glabbeek R, Höfner P, McIver A, Portmann M, Tan WL. Automated Analysis of AODV Using UPPAAL. In Flanagan C, König B, editors, Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings. Berlin, Heidelberg: Springer. 2012. p. 173-187. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-28756-5_13

Automated Analysis of AODV Using UPPAAL

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this