LEILA: Formal Tool for Identifying Mobile Malicious Behaviour | IEEE Journals & Magazine | IEEE Xplore