Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios

Author

Pura, Mihai Lica ; Buchs, Didier

Author_Institution

Centre Univ. d´Inf., Univ. of Geneva, Carouge, Switzerland

fYear

2014

fDate

March 31 2014-April 4 2014

Firstpage

2

Lastpage

3

Abstract

So far, model checkers cannot be used to verify the properties of complex systems, because of the state space explosion. Such systems are for instance the security protocols designed for ad hoc networks. But by limiting the parameters that are taken into consideration for the systems, the model checkers can be used as testing tools of the constructed models. In this paper we present how AlPiNA, a symbolic model checker based on algebraic Petri nets, can be used to test the model of ARAN secure routing protocol in mobility scenarios.

Keywords

Petri nets; ad hoc networks; routing protocols; state-space methods; ARAN secure routing protocol; AlPiNA; algebraic Petri nets; authenticated routing for ad hoc networks; complex systems; mobility scenarios; state space explosion; symbolic model checker; Ad hoc networks; Network topology; Petri nets; Routing protocols; Testing; Topology; ad hoc networks; algebraic Petri nets; secure routing protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Testing, Verification and Validation Workshops (ICSTW), 2014 IEEE Seventh International Conference on

Conference_Location

Cleveland, OH

Type

conf

DOI

10.1109/ICSTW.2014.64

Filename

6825630