Login / Signup

Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience.

Giada SciarrettaRoberto CarboneSilvio RaniseLuca Viganò
Published in: POST (2018)
Keyphrases
  • factor authentication
  • formal specification
  • specification languages
  • object oriented design
  • model checking
  • database systems
  • user interface
  • mobile terminals