Travelled to:1 × Spain
Collaborated with:S.Ranise L.Viganò
Talks about:constraint (1) hierarchi (1) analysi (1) tempor (1) static (1) polici (1) autom (1) role (1) rbac (1)
Person: Anh Tuan Truong
DBLP: Truong:Anh_Tuan
Contributed to:
2015Wrote 1 papers:
- SAC-2015-RaniseTV #analysis #automation #constraints #policy
- Automated analysis of RBAC policies with temporal constraints and static role hierarchies (SR, ATT, LV), pp. 2177–2184.