Analysing a Biometric Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

A Biometric Authentication Protocol for 3G Mobile Systems: Modelled and Validated Using CSP and Rank FunctionsChristos K. Dimitriadis, Siraj A. Shaikh. ijnsec, 5(1):99-111, 2007. [doi]

Analysing the Woo-Lam Protocol Using CSP and Rank FunctionsSiraj A. Shaikh, Vicky J. Bush. sis 2005: 3-12

Analysing the Woo-Lam Protocol Using CSP and Rank FunctionsSiraj A. Shaikh, Vicky J. Bush. acj, 38(1), 2006. [doi]

runs on WebDSL