Sign in

LEILA: Formal Tool for Identifying Mobile Malicious Behaviour.

Gerardo CanforaFabio MartinelliFrancesco MercaldoVittoria NardoneAntonella SantoneCorrado Aaron Visaggio
Published in: IEEE Trans. Software Eng. (2019)
Keyphrases
  • mobile environments
  • real time
  • data sets
  • artificial intelligence
  • mobile devices
  • mobile phone
  • context aware
  • malicious attacks
  • mobile networks
  • formal methods
  • mobile communication
  • wearable devices