verifying the authenticity of epassport certificates from theory to … · 2017-10-25 · 1. their...

13
© 2017 INCERT GIE INCERT GIE – Verifying the authenticity of ePassport certificates V1.0 Classification: Unclassified 1 INCERT GIE Verifying the authenticity of ePassport certificates – From theory to practice Author: Clement Gorlt Taking you to the PKI highway

Upload: others

Post on 08-Aug-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Verifying the authenticity of ePassport certificates From theory to … · 2017-10-25 · 1. Their conformity (“profile” - against ICAO technical specifications); 2. Their correctness

© 2017 INCERT GIE INCERT GIE – Verifying the authenticity of ePassport certificates V1.0 Classification: Unclassified

1

INCERT GIE

Verifying the authenticity of ePassport certificates – From theory to practice

Author: Clement Gorlt

Taking you to the PKI highway

Page 2: Verifying the authenticity of ePassport certificates From theory to … · 2017-10-25 · 1. Their conformity (“profile” - against ICAO technical specifications); 2. Their correctness

© 2017 INCERT GIE INCERT GIE – Verifying the authenticity of ePassport certificates V1.0 Classification: Unclassified

2

Agenda

INCERT GIE overview 1

Verifying the authenticity of ePassport certificates 2

Practical examples related to ePassport authenticity verification 3

Questions / Answers 4

Page 3: Verifying the authenticity of ePassport certificates From theory to … · 2017-10-25 · 1. Their conformity (“profile” - against ICAO technical specifications); 2. Their correctness

© 2017 INCERT GIE INCERT GIE – Verifying the authenticity of ePassport certificates V1.0 Classification: Unclassified

3

1. INCERT GIE overview

INCERT GIE is a Luxembourgish public agency responsible for:

1. Managing mutualized and dedicated PKIs, as well as trusted back-end infrastructures (supporting cryptography based solutions);

2. Managing governmental CAs used for the production and verification of travel and secure documents (i.e. ePassport, eResidence Permit and eID card);

3. Personalizing smart cards as well as PIN and PUK codes letters; and

4. Representing Luxembourg at standardisation committees within specific information security domains (e.g. PKI, cryptographic algorithms and cyber security).

Who are we ?

eIDAS

Recognized in Luxembourg as a centre of expertise within PKI/cryptography domain serving public and private sectors

Page 4: Verifying the authenticity of ePassport certificates From theory to … · 2017-10-25 · 1. Their conformity (“profile” - against ICAO technical specifications); 2. Their correctness

© 2017 INCERT GIE INCERT GIE – Verifying the authenticity of ePassport certificates V1.0 Classification: Unclassified

4

2. Verifying the authenticity of ePassport certificates 1/3

Verifying the electronic authenticity of an ePassport consists, in

particular, in checking the following elements:

1. The Country Signing Certification Authority (CSCA) certificate -

identifying the country having issued such eDocument; and

2. The Document Signer (DS) certificate - identifying the signer of

the eDocument issued by the CSCA.

These digital certificates need to be checked for: 1. Their conformity (“profile” - against ICAO technical

specifications); 2. Their correctness (do not include malicious code);

and 3. Their origin (coming from the country they claim to

be issued by).

Page 5: Verifying the authenticity of ePassport certificates From theory to … · 2017-10-25 · 1. Their conformity (“profile” - against ICAO technical specifications); 2. Their correctness

© 2017 INCERT GIE INCERT GIE – Verifying the authenticity of ePassport certificates V1.0 Classification: Unclassified

5

At the border - how does it work from a practical perspective?

Data (e.g. holder’s name, first name, facial image, fingerprints) contained in the contactless chip

Data digitally signed by the country having

issued the ePassport

Country

Collection from the contactless chip of information required to verify the CSCA and DS certificates of

the country having issued the ePassport

Reader

Trusted sources of CSCA certificates

Providing the CSCA and DS certificates Verification of the CSCA

and DS certificates

Bilateral exchanges

Schengen CSCA master list (project)

Trusted source of DS certificates

Public Key Directory managed by ICAO

1

2

1

2

@ Verification steps

@ Authentication steps &

Are inseparable

For example, checking the origin of the certificates

2. Verifying the authenticity of ePassport certificates 2/3

Page 6: Verifying the authenticity of ePassport certificates From theory to … · 2017-10-25 · 1. Their conformity (“profile” - against ICAO technical specifications); 2. Their correctness

© 2017 INCERT GIE INCERT GIE – Verifying the authenticity of ePassport certificates V1.0 Classification: Unclassified

6

What are the risks when not verifying (or not adequately verifying) ePassport certificates?

A fraudulent ePassport will be then detected only by

checking the existence of graphical security features (e.g. UV,

IF, microtext), with regard to sanctions and watch lists.

Not verifying ePassport certificates

Fraudulent CSCA and DS certificates may not be detected.

• Already years ago, counterfeit ePassports from countries

with fraudulent certificates were identified.

• Malicious code in certificates can adversely impact (crash)

the system supporting the reader.

Not adequately verifying ePassport certificates

2. Verifying the authenticity of ePassport certificates 3/3

Page 7: Verifying the authenticity of ePassport certificates From theory to … · 2017-10-25 · 1. Their conformity (“profile” - against ICAO technical specifications); 2. Their correctness

© 2017 INCERT GIE INCERT GIE – Verifying the authenticity of ePassport certificates V1.0 Classification: Unclassified

7

3. Practical example: Summary 1/6

To summarise: 1. Relying nowadays only on graphical security features when checking an ePassport

should not be an option anymore.

2. Countries should share digital certificates for facilitating the verification of the electronic authenticity of ePassports issued.

Trusted sources of CSCA certificates

Bilateral exchanges

Schengen CSCA master list (project)

Trusted source of DS certificates

Public Key Directory managed by ICAO

To conclude: 1. Increasing collaboration between parties (i.e. countries, private entities) is deemed

necessary to improve the awareness and technical capability at border controls (or for mobile police units) of the verification of the electronic authenticity of issued ePassports.

ICAO CSCA master list (Q3/Q4 2017)

Page 8: Verifying the authenticity of ePassport certificates From theory to … · 2017-10-25 · 1. Their conformity (“profile” - against ICAO technical specifications); 2. Their correctness

© 2017 INCERT GIE INCERT GIE – Verifying the authenticity of ePassport certificates V1.0 Classification: Unclassified

8

3. Practical example: raising awareness 2/6

Tutorial (awareness initiative) jointly produced by and for ICAO Public Key Directory organisation.

https://www.incert.lu/upload/PKD/index.html#/

Already available at the following URL:

Available soon at the ICAO web site: http://www.icao.int/Pages/default.aspx

Example #1

Page 9: Verifying the authenticity of ePassport certificates From theory to … · 2017-10-25 · 1. Their conformity (“profile” - against ICAO technical specifications); 2. Their correctness

© 2017 INCERT GIE INCERT GIE – Verifying the authenticity of ePassport certificates V1.0 Classification: Unclassified

9

3. Practical example: compliance verification tool 3/6

Application (technical capability) produced by to serve the community.

Current version of the application addresses

item #1.

As a reminder, CSCA and DS certificates need to be checked for: 1. Their conformity (“profile” against ICAO technical specifications);

2. Their correctness (do not include malicious code); and

3. Their origin (coming from the country they claim to be issued by).

Example #2

Page 10: Verifying the authenticity of ePassport certificates From theory to … · 2017-10-25 · 1. Their conformity (“profile” - against ICAO technical specifications); 2. Their correctness

© 2017 INCERT GIE INCERT GIE – Verifying the authenticity of ePassport certificates V1.0 Classification: Unclassified

10

3. Practical example: compliance verification tool 4/6

Portable application developed in Java that can be adapted on workstations or mobiles.

https://github.com/incert/ICAO-CSCA-DS-verification-tool

Open-source application (freely) available at the following URL:

Conformity check successful.

Application “roadmap” 1. Correctness (Q3 2017); and

2. Origin (Q4 2017).

Conformity check unsuccessful.

Still some work to be done, any support from relevant, collaborative parties (i.e. countries, private entities) is welcome!

Page 11: Verifying the authenticity of ePassport certificates From theory to … · 2017-10-25 · 1. Their conformity (“profile” - against ICAO technical specifications); 2. Their correctness

© 2017 INCERT GIE INCERT GIE – Verifying the authenticity of ePassport certificates V1.0 Classification: Unclassified

11

3.Practical example: eTravel document check application 5/6

Mobile application(technical capability) produced by to serve the border community.

Development of an Android application for eTravel document check: • Provide intuitive approach for verifying if the scanned eTravel

document is authentic; • Use DS and CSCA certificates present in the PKD as input; • Enforce the 1-to-1 mapping between PKD stored DS certificates

and chip stored Ds certificates . Example #3

Application “roadmap” 1. Add support for 3 lines MRZ for

national eID (Q4 2017);

2. PACE support (Q4 2017).

Page 12: Verifying the authenticity of ePassport certificates From theory to … · 2017-10-25 · 1. Their conformity (“profile” - against ICAO technical specifications); 2. Their correctness

© 2017 INCERT GIE INCERT GIE – Verifying the authenticity of ePassport certificates V1.0 Classification: Unclassified

12

3.Practical example: eTravel document check application 6/6

Home Reader Verification Security Overview

Settings

Full portrait

displayed

OCR scanner

Personal information Details Database

Digital certificates

Sending results About

Page 13: Verifying the authenticity of ePassport certificates From theory to … · 2017-10-25 · 1. Their conformity (“profile” - against ICAO technical specifications); 2. Their correctness

© 2017 INCERT GIE INCERT GIE – Verifying the authenticity of ePassport certificates V1.0 Classification: Unclassified

13

4. Questions / Answers

Any question?

Clément GORLT

INCERT GIE

Address: IVY Building, 13-15 Parc d’activités, L-8308 Capellen, Grand-Duchy of Luxembourg

Office: +352 273 267 1

Fax: +352 273 267 32

Email: [email protected]