Our research actualizes through the interdisciplinary approach and connection between three teams; DEFSYS, which designs theory frameworks for the science of security, CALGO, which focuses on combinatorial algorithms, arrays, and optimization with the help of custom-designed theory frameworks and CST, which generates solutions to the drained testing techniques and high costs of randomized approaches in IT Security with the help of model-based combinatorial methods.