Skip to Main content Skip to Navigation
Journal articles

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

Abstract : 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
Complete list of metadata
Contributor : Christophe Kiennert Connect in order to contact the contributor
Submitted on : Monday, September 9, 2019 - 3:28:38 AM
Last modification on : Friday, November 6, 2020 - 6:06:01 PM


  • HAL Id : hal-02281230, version 1


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



Record views