Static Analysis Scheme for Mobile Safe Ambients Based on Control Flow
ZHANG Hong, LIU Lei
Journal of Jilin University Science Edition . 2008, (04): 704 -710 .