A probabilistic cost-efficient approach for mobile security assessment | IEEE Conference Publication | IEEE Xplore