@InProceedings{naumovich:permission-analysis, author = "Gleb Naumovich", title = "A Conservative Algorithm for Computing the Flow of Permissions in {J}ava Programs", pages = "33--43", booktitle = "Proceedings of the International Symposium on Software Testing and Analysis ({ISSTA} '02)", month = jul, year = "2002", }