TINMAN: A Resource Bound Security Checking System 142 Mobile Code (2002)

by A K Mok, W Yu
Venue:In Proc. of the European Symposium on Research in Computer Security(ESORICS