Model-Based Quantitative Security Analysis of Mobile Offloading Systems Under Timing Attacks. - Meng, Tianhui; Wang, Qiushi; Wolter, Katinka (2015)