Checking the Consistency between UCM and PSM Using a Graph-Based Method. - Ninh-Thuan Truong; Thi-Mai-Thuong Tran; Van-Khanh To; Viet Ha Nguyen 001 (ACIIDS, 2009)

Checking Compliance of Program with SecureUML Model. - Thanh-Nhan Luong; Van-Khanh To; Ninh-Thuan Truong (ACIIDS (Extended Posters), 2017)

On the Compliance of Access Control Policies in Web Applications. - Thanh-Nhan Luong; Dinh-Hieu Vo; Van-Khanh To; Ninh-Thuan Truong (ICCASA/ICTCC, 2018)

Formal Analysis of Database Trigger Systems Using Event-B. - Hong Anh Le; Van-Khanh To; Ninh-Thuan Truong (Int. J. Softw. Innov., 2021)