A systematic approach to access control (0)

by F POTTIER, C SKALKA, S SMITH
Venue:In Programming Languages and Systems (ESOP 2001). Lecture Notes in Computer Science