By Topic

Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Eduardo dos Santos ; Dept. de Inf. e de Estatistica, Univ. Fed. de Santa Catarina (UFSC), Florianopolis, Brazil ; Jean Everson Martina ; Ricardo Felipe Custódio

We present a proposal for a new multi-factor authentication scheme through the use of biometrics and smart-cards. Targeted to the Brazilian court system, which is being redesigned, the main goals of this protocol are to provide adequate division between authentication and authorisation services, as well as, the existence of different roles for improved security and management. In addition, we formalised the protocol into a first-order logic model and verified it with an automated theorem prover. Our main contributions are the design of the protocol and the usage of a methodology including design, verification, implementation and deployment of a protocol of nation-wide scale.

Published in:

2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications

Date of Conference:

25-27 June 2012