Truong, Tuan Anh
Truong, Tuan Anh
S&T Unit
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.006 secondi).
Anonymizing but Deteriorating Location Databases
2012-01-01 T. K., Dang; Truong, Tuan Anh
Automated analysis of RBAC policies with temporal constraints and static role hierarchies
2015-01-01 Ranise, Silvio; Truong, Tuan Anh; Viganò, Luca
Boosting Model Checking to Analyse Large ARBAC Policies
2013-01-01 Ranise, Silvio; Truong, Tuan Anh; Armando, Alessandro
Incremental analysis of evolving administrative role based access control policies
2014-01-01 Ranise, Silvio; Truong, Tuan Anh
On Guaranteeing k-Anonymity in Location Databases
2011-01-01 Truong, Tuan Anh; T. K., Dang; J., Küng
Scalable and Precise Automated Analysis of Administrative Temporal Role-Based Access Control
2014-01-01 Ranise, Silvio; Truong, Tuan Anh; Armando, Alessandro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Anonymizing but Deteriorating Location Databases | 1-gen-2012 | T. K., Dang; Truong, Tuan Anh | |
Automated analysis of RBAC policies with temporal constraints and static role hierarchies | 1-gen-2015 | Ranise, Silvio; Truong, Tuan Anh; Viganò, Luca | |
Boosting Model Checking to Analyse Large ARBAC Policies | 1-gen-2013 | Ranise, Silvio; Truong, Tuan Anh; Armando, Alessandro | |
Incremental analysis of evolving administrative role based access control policies | 1-gen-2014 | Ranise, Silvio; Truong, Tuan Anh | |
On Guaranteeing k-Anonymity in Location Databases | 1-gen-2011 | Truong, Tuan Anh; T. K., Dang; J., Küng | |
Scalable and Precise Automated Analysis of Administrative Temporal Role-Based Access Control | 1-gen-2014 | Ranise, Silvio; Truong, Tuan Anh; Armando, Alessandro |