A Model Checking based Proposal for Mobile Colluding Attack Detection | IEEE Conference Publication | IEEE Xplore