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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.