Our research takes shape through an interdisciplinary approach, bridging three teams: DEFSYS, responsible for crafting theoretical frameworks in the field of security science; CALGO, specializing in combinatorial algorithms, arrays, and optimization, leveraging custom-designed theoretical frameworks; and CST, dedicated to providing solutions for the challenges posed by exhaustive testing techniques and the costliness of randomized approaches in IT security, all achieved through model-based combinatorial methods.