Formal security analysis of Australian e-passport implementation

Pasupathinathan, Vijayakrishnan, Pieprzyk, Josef, & Wang, Huaxiong (2008) Formal security analysis of Australian e-passport implementation. In Brankovic, Ljiljana & Miller, Mirka (Eds.) AISC '08 Proceedings of the Sixth Australasian Conference on Information Security - (CRPIT Volume 81 - Information Security 2008), Australian Computer Society, Inc, Wollongong, NSW, Australia, pp. 75-82.

View at publisher


This paper provides a detailed description of the current Australian e-passport implementation and makes a formal verification using model checking tools CASPER/CSP/FDR. We highlight security issues present in the current e-passport implementation and identify new threats when an e-passport system is integrated with an automated processing systems like SmartGate.

Because the current e-passport specification does not provide adequate security goals, to perform a rational security analysis we identify and describe a set of security goals for evaluation of e-passport protocols. Our analysis confirms existing security issues that were previously informally identified and presents weaknesses that exists in the current e-passport implementation.

Impact and interest:

2 citations in Web of Science®
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 70263
Item Type: Conference Paper
Refereed: Yes
Additional URLs:
Keywords: Electronic passport, Formal methods, Model checking
ISBN: 9781920682620
ISSN: 1445-1336
Divisions: Current > Schools > School of Electrical Engineering & Computer Science
Current > QUT Faculties and Divisions > Science & Engineering Faculty
Copyright Owner: Copyright 2008 Australian Computer Society, Inc.
Deposited On: 17 Apr 2014 02:01
Last Modified: 03 Mar 2015 04:35

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page