Flow-Sensitive Leakage Analysis in Mobile Ambients