Intersection Automata Based Model for Android Application Collusion | IEEE Conference Publication | IEEE Xplore