A security-property-based approach for lowering power consumption of secure mobile Web access | IEEE Conference Publication | IEEE Xplore