Evaluating security products: formal model and requirements of a new approach - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal On Advances in Security Année : 2019

Evaluating security products: formal model and requirements of a new approach

Résumé

In a previous paper, we presented a new method to generate evaluation data for the evaluation of security products and services. That approach tackles the issues of producing a workload with a rich semantic at a large scale. Testbed environments are the most appropriate tool for such task but induce a lot of effort and costs to implement. We presented a model to produce semantic data that can be implemented on light virtual networks and thus deployed at a large scale. This paper is an extension of our complete formal model. In this extension, we identify additional requirements for our model and define our ambitions. We translate those ambitions in verifiable properties of our model. Our prototype, although currently limited, provides the basis for an evaluation method that is customizable, reproducible, realistic, accurate and scalable. We generate realistic activity for up to 250 simulated users interacting with a real-world webmail server in an experiment to verify the properties of our mode
Fichier non déposé

Dates et versions

hal-02281230 , version 1 (09-09-2019)

Identifiants

  • HAL Id : hal-02281230 , version 1

Citer

Christophe Kiennert, Pierre-Marie Bajan, Hervé Debar. Evaluating security products: formal model and requirements of a new approach. International Journal On Advances in Security, 2019, 12 (1 & 2), pp.29-41. ⟨hal-02281230⟩
104 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More