"Verification caching: towards efficient and secure mobile code execution ..."

Nael B. Abu-Ghazaleh, Dhananjay S. Phatak (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics