Secure mobile code: the javaseal experimentSecurity and Communication in Mobile Object SystemsTaming message passing: Efficient method look-up for dynamically typed languages
