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.
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:
Citation counts are sourced monthly from and 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 theindexing service can be viewed at the linked Google Scholar™ search.
|Item Type:||Conference Paper|
|Keywords:||Electronic passport, Formal methods, Model checking|
|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|
Repository Staff Only: item control page