Intent Security Testing - An Approach to Testing the Intent-based Vulnerability of Android Components Topics: Formal Methods for Security; Intrusion Detection & Prevention; Security and Privacy in Mobile Systems; Security Verification and Validation In Proceedings of the 10th International Conference on Security and Cryptography - Volume 0ICETE, 355-362, 2013 , Reykjavík, Iceland