A security-property-based approach for lowering power consumption of secure mobile Web access. - C. Pita; Karima Boudaoud; Michel Riveill (IWCMC, 2011)