Analysis of Android Inter-App Security Vulnerabilities Using COVERT
Alloy: a lightweight object modelling notation