Designing and Implementing a Secure, Portable, and Efficient Mobile Agent Kernel