Testing of a Source Address Validation Protocol with Parallel Parameterized Extended Finite State Machines

Jiangyuan Yao,Zhiliang Wang,Xia Yin,Jianping Wu
DOI: https://doi.org/10.1145/2089016.2089042
2011-01-01
Abstract:Source Address Validation Architecture(SAVA) is designed for security of Future Internet. Several protocol drafts of SAVA solution for access network, Source Address Validation Improvements(SAVI), already have been submitted to IETF and some manufacturers are working on implements. In SAVI protocols, parallel components with dependence on variables of other components exist. It is infeasible to precisely specify such protocol with single model. In this paper, we extend the Extended Finite State Machine with external variables to form our new model, Parallel Parameterized Extended Finite State Machine (PaP-EFSM), and describe SAVI protocols by a set of PaP-EFSMs. Then we present an approach for tests generation from the new models. Tests are applied on the 10 devices from 4 manufacturers. Many implement faults are exposed.
What problem does this paper attempt to address?