Login / Signup

Analysis of mobile authentication protocols by SVO logic.

Abdullah Mohammed AlmuhaidebBala SrinivasanPhu Dung LeCampbell WilsonVishv Malhotra
Published in: SECURIT (2012)
Keyphrases
  • formal analysis
  • mobile phone
  • lightweight
  • real time
  • similarity measure
  • data analysis
  • computer systems
  • anomaly detection
  • modal logic