Aloysius K. Mok, Weijiang Yu. TINMAN: A Resource Bound Security Checking System for Mobile Code. In Dieter Gollmann, Günter Karjoth, Michael Waidner, editors, Computer Security - ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings. Volume 2502 of Lecture Notes in Computer Science, pages 178-193, Springer, 2002. [doi]