Formal access control analysis in the software development process.

Manuel Koch, Francesco Parisi-Presicce

Browse the full CCS paper archive.