Anh Tuan Truong

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 4

Top Topics

Temporal Constraints

Automated Analysis

Role Based Access Control

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Silvio Ranise, Anh Tuan Truong, Luca Viganò
Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies. J. Comput. Secur. 26 (4) (2018)
Anh Tuan Truong, Silvio Ranise
ASASPXL: New Clother for Analysing ARBAC Policies. FDSE (2016)
Silvio Ranise, Anh Tuan Truong, Riccardo Traverso
Parameterized model checking for security policy analysis. Int. J. Softw. Tools Technol. Transf. 18 (5) (2016)
Silvio Ranise, Anh Tuan Truong, Luca Viganò
Automated analysis of RBAC policies with temporal constraints and static role hierarchies. SAC (2015)
Silvio Ranise, Anh Tuan Truong
Incremental Analysis of Evolving Administrative Role Based Access Control Policies. DBSec (2014)
Silvio Ranise, Anh Tuan Truong, Alessandro Armando
Scalable and precise automated analysis of administrative temporal role-based access control. SACMAT (2014)
Silvio Ranise, Anh Tuan Truong, Alessandro Armando
Boosting Model Checking to Analyse Large ARBAC Policies. STM (2012)
Tran Khanh Dang, Anh Tuan Truong
Anonymizing but Deteriorating Location Databases. Polibits 46 (2012)
Anh Tuan Truong, Tran Khanh Dang, Josef Küng
On Guaranteeing k-Anonymity in Location Databases. DEXA (1) (2011)
Quynh Chi Truong, Anh Tuan Truong, Tran Khanh Dang
Memorizing Algorithm: Protecting User Privacy using Historical Information of Location-Based Services. Int. J. Mob. Comput. Multim. Commun. 2 (4) (2010)
Quynh Chi Truong, Anh Tuan Truong, Tran Khanh Dang
Privacy preserving through a memorizing algorithm in location-based services. MoMM (2009)