Representation independence, confinement and access control (2002)

by A Banerjee, D A Naumann
Venue:In POPL’02