TINMAN: A Resource Bound Security Checking System for Mobile Code.

Aloysius K. Mok, Weijiang Yu

Browse the full ESORICS paper archive.