Search

International audience; We present a formal approach based on mutation techniques for the modelling of cybersecurity attacks and its application to 5G networks. We introduce formal definitions of the main concepts of network protocols, mutation operators, flow of network packets and network traffic. We design a formal approach based on different mutation operators that allows to design models that can be assimilated with known and unknown attacks. This approach has been implemented in our open source 5G network traffic fuzzer, 5Greplay, and has been applied to two use cases that are representative of attacks against 5G networks.

Software systems are more and more complex. They are usually constructed by combining several components which can be implemented separately and deployed in distributed environments. This paper presents a framework for testing these kind of systems. Particularly, each component of a system is tested by a tester and there is no communication between testers. The tester is guided by local test cases that are generated from the composition of models of components where the communication among components may be synchronous or asynchronous. The framework is complemented with a tool chain for automating test generation. The paper presents also a case study on the European Train Control System.

8 pages - Short papers session (http://ictss2011.lri.fr/); International audience; This paper addresses the problem of the choice of a coverage measure for hybrid automata. We propose a parametric measure inspired by the notion of operational profile that allows the tester to specify his testing objectives as a required, locally defined 'density' of test cases. The characteristics of our measure and the operational profiles are motivated by the testing context of Home Automation Systems. We compare this measure with related work and show that it yields improvements over several existing measures in our context.