@InProceedings{naumovich-centonze:j2ee-security, author = "Gleb Naumovich and Paolina Centonze", title = "Static Analysis of Role-Based Access Control in {J2EE} Applications", booktitle = "Proceedings of the Workshop on Testing, Analysis and Verification of Web Services", month = jul, year = "2004", }