Timed Automata based provably correct robot control

This work proposes a new strong authentication protocol for the prevention of identity and private personal data theft suffered by users in the Internet. Identity theft is a problem of rising impact amongst Internet users and service providers and it occurs, very frequently, through techniques like phishing. The main reason for the high rates of success is user unexperience and their inability to pay attention to the details that allow them to tell a legitimate site from its fake version. In this paper we present a new strong 3–phaseauthentication protocol which makes use of Portable One–TimeDynamic URLs for the prevention of identity theft over the Internet. Moreover, a prototype of such a scheme has been implemented to measure the usability and scalability of the proposal.