A conservative algorithm for computing the flow of permissions in Java programs.

Gleb Naumovich

Browse the full ISSTA paper archive.