Travelled to:1 × Austria
1 × Italy
Collaborated with:P.Madhusudan G.Parlato T.L.Nguyen
Talks about:administr (2) control (2) polici (2) access (2) role (2) base (2) analysi (1) verifi (1) self (1) vac (1)
Person: Anna Lisa Ferrara
DBLP: Ferrara:Anna_Lisa
Contributed to:
2014
2013Wrote 2 papers:
- CAV-2014-FerraraMNP #data access #named #policy #verification
- Vac — Verifier of Administrative Role-Based Access Control Policies (ALF, PM, TLN, GP), pp. 184–191.
- TACAS-2013-FerraraMP #analysis #data access #policy #self
- Policy Analysis for Self-administrated Role-Based Access Control (ALF, PM, GP), pp. 432–447.