Secret inference and attacktability analysis of discrete event systems. - Salwa Habbachi; Amal Zaghdoud; Zhiwu Li 001; Naiqi Wu; Mohamed Khalgui (Inf. Sci., 2022)