Testing security policies for distributed systems: vehicular networks as a case study - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Computer Science Issues Année : 2014

Testing security policies for distributed systems: vehicular networks as a case study

Résumé

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
Fichier non déposé

Dates et versions

hal-01331562 , version 1 (14-06-2016)

Identifiants

  • HAL Id : hal-01331562 , version 1

Citer

Mohamed Aouadi, Khalifa Toumi, Ana Rosa Cavalli. Testing security policies for distributed systems: vehicular networks as a case study. International Journal of Computer Science Issues, 2014, 11 (5), pp.68 - 77. ⟨hal-01331562⟩
31 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More