Information Flow Security in Mobile Ambients 1 Agostino Cortesi