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]
@inproceedings{MokY02,
title = {TINMAN: A Resource Bound Security Checking System for Mobile Code},
author = {Aloysius K. Mok and Weijiang Yu},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2502/25020178.htm},
tags = {mobile code, security, mobile},
researchr = {https://researchr.org/publication/MokY02},
cites = {0},
citedby = {0},
pages = {178-193},
booktitle = {Computer Security - ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings},
editor = {Dieter Gollmann and Günter Karjoth and Michael Waidner},
volume = {2502},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-44345-2},
}