A Formal Android Permission Model Based on the B Method. - Lu Ren; Rui Chang; Qing Yin; Yujia Man (SpaCCS, 2017)