Van-Khanh To

According to our database, Van-Khanh To authored at least 4 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Formal Analysis of Database Trigger Systems Using Event-B.

Hong Anh Le, Van-Khanh To, Ninh-Thuan Truong

Int. J. Softw. Innov., 2021

2018

On the Compliance of Access Control Policies in Web Applications.

Thanh-Nhan Luong, Dinh-Hieu Vo, Van-Khanh To, Ninh-Thuan Truong

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2018

2017

Checking Compliance of Program with SecureUML Model.

Thanh-Nhan Luong, Van-Khanh To, Ninh-Thuan Truong

Proceedings of the Advanced Topics in Intelligent Information and Database Systems,, 2017

2009

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

Proceedings of the First Asian Conference on Intelligent Information and Database Systems, 2009