Van-Khanh To

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 3

Top Topics

Automated Trust Negotiation

Access Control Policies

Web Applications

Top Venues

Int. J. Softw. Innov.

ACIIDS (Extended Posters)

Publications

Hong Anh Le, Van-Khanh To, Ninh-Thuan Truong
Formal Analysis of Database Trigger Systems Using Event-B. Int. J. Softw. Innov. 9 (4) (2021)
Thanh-Nhan Luong, Dinh-Hieu Vo, Van-Khanh To, Ninh-Thuan Truong
On the Compliance of Access Control Policies in Web Applications. ICCASA/ICTCC (2018)
Thanh-Nhan Luong, Van-Khanh To, Ninh-Thuan Truong
Checking Compliance of Program with SecureUML Model. ACIIDS (Extended Posters) (2017)
Ninh-Thuan Truong, Thi-Mai-Thuong Tran, Van-Khanh To, Viet Ha Nguyen
Checking the Consistency between UCM and PSM Using a Graph-Based Method. ACIIDS (2009)