Malicious Collusion Detection in Mobile Environment by means of Model Checking.

Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone

Browse the full IJCNN paper archive.