Analysing a Biometric Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions

Siraj A. Shaikh, Christos K. Dimitriadis. Analysing a Biometric Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions. In John A. Clark, Richard F. Paige, Fiona A. C. Polack, Phillip J. Brooke, editors, Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings. Volume 3934 of Lecture Notes in Computer Science, pages 211-226, Springer, 2006. [doi]

Abstract

Abstract is missing.