Publications by Anna-Lisa Ferrara

This is a list of all publications (co-)authored by Anna-Lisa Ferrara that are contained in the publications database of the Department of Computer Science, University of Bristol. To perform an alternative search of the publications database, please go to the publications database home page.

2012

• V. Atluri, A. L. Ferrara, P. Madhusudan, G. Parlato, S. Sural, E. Uzun, J. Vaidya, Analyzing Temporal Role Based Access Control Models . 17th ACM Symposium on Access Control Models and Technologies (SACMAT) . June 2012. No electronic version available.
• Anna Lisa Ferrara, Gennaro Parlato, P. Madhusudan, Security Analysis of Access Control through Program Verification . IEEE Computer Security Foundations Symposium. June 2012. No electronic version available.
• Giuseppe Ateniese, Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci, Provably-Secure Time-Bound Hierarchical Key Assignment Schemes. Journal of Cryptology, 25(2), pp. 243–270. January 2012. No electronic version available.