Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study
Due to the increasing complexity of distributed
systems, security testing is becoming increasingly critical in
insuring reliability of such systems in relation to their security
requirements. To challenge this issue, we rely in this paper on
model based active testing. In this paper we propose a framework
to specify security policies and test their implementation. Our
framework makes it possible to automatically generate test
sequences, in order to validate the conformance of a security
policy. This framework contains several new methods to ease
the test case generation. To demonstrate the reliability of our
framework, we present a Vehicular Networks System as an
ongoing case study.
Keywords: Active testing, EFSM, TestGen-IF, Vehicular Networks
Download Full-Text
ABOUT THE AUTHORS
Mohamed H.E. Aouadi
TELECOM SudParis
Khalifa Toumi
TELECOM SudPARIS
Ana Cavalli
TELECOM SudParis
Mohamed H.E. Aouadi
TELECOM SudParis
Khalifa Toumi
TELECOM SudPARIS
Ana Cavalli
TELECOM SudParis