Cruz Garcia Lirios. Specification a Model for Study of Insecurity Systems. GJMBR 2020, 20, 7-10.