Supporting Integrity of Mobile Agents during Transfer