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

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