S.: A systematic approach to access control (0)

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