Login / Signup

Towards formal model-based analysis and testing of Android's security mechanisms.

Gustavo BetarteJuan Diego CampoMaximiliano CristiáFelipe GorostiagaCarlos LunaCamila Sanz
Published in: CLEI (2017)
Keyphrases
  • security mechanisms
  • data sets
  • real time
  • databases
  • data analysis