A Systematic Approach to Static Access Control (0)

by F Pottier, C Skalka, S F Smith
Venue:In ESOP 2001