James Riely Matthew Hennessy Trust and Partial Typing in Open Systems of Mobile Agents. 93-104 1999 POPL http://doi.acm.org/10.1145/292540.292551 db/conf/popl/popl99.html#RielyH99