A Model Checking based Proposal for Mobile Colluding Attack Detection

Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone. A Model Checking based Proposal for Mobile Colluding Attack Detection. In 2019 IEEE International Conference on Big Data (Big Data), Los Angeles, CA, USA, December 9-12, 2019. pages 5998-6000, IEEE, 2019. [doi]

Authors

Rosangela Casolare

This author has not been identified. Look up 'Rosangela Casolare' in Google

Fabio Martinelli

This author has not been identified. Look up 'Fabio Martinelli' in Google

Francesco Mercaldo

This author has not been identified. Look up 'Francesco Mercaldo' in Google

Antonella Santone

This author has not been identified. Look up 'Antonella Santone' in Google