Hua Vy Le Thanh

According to our database¹, Hua Vy Le Thanh authored at least 3 papers between 2013 and 2018.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2018

Generating Permission-Based Security Policies.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

2014

An On-The-Fly Algorithm for Conditional Weighted Pushdown Systems.

[BibT_eX]

[DOI]

Inf. Media Technol., 2014

2013

A Formal Framework for Access Rights Analysis.

[BibT_eX]

[DOI]

CoRR, 2013