Analysing a biometric authentication protocol for 3g mobile systems using CSP and rank functions

Authors:
Siraj A. Shaikh;Christos K. Dimitriadis
Affiliations:
Department of Computing, UGBS, University of Gloucestershire, Cheltenham Spa, UK;University of Piraeus, Piraeus, Greece
Venue:
SPC'06 Proceedings of the Third international conference on Security in Pervasive Computing
Year:
2006

Citing 5
Cited 0

Communicating sequential processes

Communicating sequential processes
Verifying Authentication Protocols in CSP

IEEE Transactions on Software Engineering
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Concurrent and Real Time Systems: The CSP Approach

Concurrent and Real Time Systems: The CSP Approach
The modelling and analysis of security protocols: the csp approach

The modelling and analysis of security protocols: the csp approach

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study a protocol, called BIO3G, which provides biometric-based user authentication and key establishment in Third Generation (3G) mobile environments. BIO3G provides end-to-end user authentication to the mobile operator, requiring no storing or transferring of biometric data and, eliminating the need for biometric enrolment and administration, which is time-consuming for the user and expensive for the mobile operator. We model BIO3G using process algebra Communicating Sequential Processes (CSP) and verify it using Schneider's rank functions.