15
© Trusted Labs S.A.S., 2009 Dedicated EAL: the payment terminal experience Carolina Lavatelli Claire Loiseaux Trusted Labs ICCC 2009 September 22 nd – 24 th Tromsoe, Norway

Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

© Trusted Labs S.A.S., 2009

Dedicated EAL: the payment terminal

experience

Carolina LavatelliClaire Loiseaux

Trusted Labs

ICCC 2009

September 22nd – 24th

Tromsoe, Norway

Page 2: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

22

Contents

• Context of payment terminals in Europe

– Evaluation methodology that enjoys international recognition

– Satisfactory ratio effort/assurance

• Point of Interaction (POI) in the CC framework

– Why it is a bit more complicated than usual

– Protection profile and POI-dedicated EAL

– A way of evaluating complex products

Page 3: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

3

Context

• The situation of payment terminals evaluation in Europe – Each country states its own security levels and requirements– E.g. schemes: ZKA (Germany), APACS (UK), PCI+ (Netherlands)– Obstacle for mutual recognition of evaluations

• European Payments Council (EPC) in its Single Euro Payments Area(SEPA) Cards Framework (SCF)– Definition of a common process for the certification of terminals, cards, and network

interfaces– Any terminal certified for SEPA transactions by a certification body in one SEPA

country can be deployed in any SEPA country for acceptance of SEPA cards across all SCF compliant schemes

• Common Approval Scheme (CAS) initiative of European card schemes– Agreement on common security requirements and evaluation methodology for use

in SEPA– Compliant with Payment Card Industry (PCI) security requirements– Reduced number of security evaluations to be performed by manufacturers and

reduced the costs of security certification

Page 4: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

4

Why CC ?

• CAS promoted the investigation of CC methodology for terminals

– Feasibility studies since 2006

– Protection profile started in 2007

– Creation of JIL Terminal Evaluation Methodology Subgroup (JTEMS) in 2008

• Why CC evaluation of terminals ?

– Pertinence of CC confidence model (evidence-based, reproductibleresults, decentralized certification)

– Strong experience of european ITSEF in the card-side of the payment

– Sharing of PCI PED evaluation experience through PCI labs

Page 5: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

5

Point of Interaction (POI) at work

Cardholder

Acquirer

Merchant

POI

Issuer

Card

10. Issuer payment

8. Ask for payment with payment transaction data

1. Payment Transaction data

1. Payment Transaction data

6. Merchant receipt

11. Acquirer payment

3. PIN request4. PIN (if offline PIN verification)

6. Cardholder receipt

5. Transaction Certificate

2. to 5. Payment transaction data and managment data

9. Payment notification 9. Cardholder payment7. Payment transaction data including Transaction certificate and Merchant parameters

Page 6: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

6

Point of Interaction (POI)

POI Application Logic

Application 1

Application 1

Application n

Administration by

Terminal Management

Application/

Acquirer System

Terminal

Management

System

Other Local

Devices

data flow

Legend

Card Readers:

IC Card Reader

and/or

Magnetic Stripe

Reader

User I/O

Devices:

(excluding

CHV) Keypad,

Display, printer,

Acoustic Signal

Other Security

Modules:

HSM and/or

SAM

CHV Devices:

PIN Entry Device

(includes keypad,

display, Security

Module and may

include a Card

Reader) and/or

Biometric Device

IC CardMagstripe

Card

What’s the POI

• Payment terminal with IC card based online and offline transaction capabilities

• Numerous components: – Card Readers– Keypad, display – Encryption module– Peripherals– Payment applications– Communication SW – …

• Assets flow between components

more or less robust: – Cardholder PIN– Amount– Scripts– …

Cardholder

PIN

Page 7: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

7

What are the issues for a POI PP ?

• Many different architectures (TOE types)– Integrated (PED and Card Reader)– Distributed

• Components with heterogeneous robustness levels– Encryption module– Keypad, Display – Card Reader– Embedded SW (may be COTS)

• Assets protection requirements depends on the deployment environment (Europe, world)– Plaintext PIN-based transactions not the focus in Europe

• No predefined EAL offers sufficient assurance and is still economically viable and adapted to market constraints– E.g. EAL2 (low robustness), EAL4 (costly conformity check), etc ..

Page 8: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

8

How to solve the puzzle

• POI PP embeds all architectures (configurations) and security levels

– Based on PCI and CAS requirements

– Applications outside the scope of evaluation (differ from country to country)

– The TSF is structured in security levels

– Each PP configuration maps security features to the security levels

– POI-dedicated EAL with refined vulnerability analysis

• Joint work with SRC Security Research & Consulting GmbH

– First PP POI ideas presented at ICCC 2007 (Rome)

Page 9: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

9

POI TSF structured in three levels

Examples of security features (to map to a security level)• PIN Entry

• Encipherment of PIN for offline or online encrypted authentication

• Encipherment of PIN for offline plaintext

PIN authentication

• Decipherment of PIN by the IC Card Reader

and transmission to the IC in plaintext

• Periodic authentication of PIN processing software

• Administration (e.g. downloading, update) of

PIN processing software and keys

• Processing of POI management and transaction data

• Magstripe Card Reader protection

• Tamper-evidence/resistance (PED, IC Card Reader, Magstripe Reader)

• Shielding

High security level

Moderate security level

Basic security level

Page 10: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

10

Examples of mappings

• PIN Entry

– « Moderate level » in all POI/PP configurations

• Encipherment of PIN for offline or online encrypted authentication

– « High level » in all POI/PP configurations

• Plaintext PIN processing

– « Moderate level » in configurations with world-wide constraints

– « Basic level » in configurations where plaintext PIN authenticationfraud is reduced

Page 11: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

11

EAL dedicated to POI

• EAL2+ package

• Requirements on development (ADV), guidance (AGD), testing (ATE)and life cycle (ALC) from EAL2

• ALC_DVS.1 added to EAL2 essentially for Initial Key Loading Facility

• Definition of extended vulnerability analysis requirement AVA_POI

• AVA_POI is a refinement of AVA_VAN.2

• AVA_POI focuses on each POI component at the right attack potential

• POI EAL stays within the limits of the international recognition

• Conformity checks remain affordable both from developer and evaluator viewpoints

Page 12: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

12

Overview of POI EAL

AVA_POI.3 / POI-High

AVA_POI.2 / POI-Moderate

AVA_POI.1 / POI-Basic

ALC_DVS.1

AVA_VAN.2

ATE_IND.2

ATE_FUN.1

ATE_COV.1

ALC_DEL.1

ALC_CMS.2

ALC_CMC.2

AGD_PRE.1

AGD_OPE.1

ADV_TDS.1

ADV_FSP.2

ADV_ARC.1

SAR

EXTENDED

High TSF POI components

Moderate TSF POI components

Basic TSF POI components

REFINED (Initial Key Loading Facility)

STANDARD

STANDARD

STANDARD

STANDARD

REFINED

STANDARD

REFINED

STANDARD

REFINED

STANDARD

STANDARD

REFINED

POI

EAL2

Page 13: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

13

What changes with AVA_POI

• Applies to part of TSF instead of full TOE

• Limited dependencies (from AVA_VAN.2) for all attack potentials

• Introduction of the notion of « availability » of implementation

– No evaluation task on implementation itself

– Used to improve vulnerability analysis

• Attack potential scale adapted to POI

– POI-Basic, POI-Moderate, POI-High

– Defined in supporting document (compliant with PCI PED)

Page 14: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

14

POI PP status

• Version 1.7 released for comments to JTEMS members last June– CC conformity check– PCI PED conformity check

• Updated version for evaluation expected end of October

• ANSSI shall sponsor PP evaluation

• JTEMS also works on supporting evaluation documents– Instantiation of CEM– Attack methods paper

• French R&D project GESTe (Groupe d’Evaluation de la Sécurité des Terminaux électroniques) supports JTEMS– Ingenico (leader), Innova Card/Maxim, Trusted Labs, Groupement des

Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP Université de Caen

– March 2009 – March 2011

Page 15: Dedicated EAL: the payment terminal experience · – Ingenico(leader),Innova Card/Maxim, Trusted Labs, Groupement des Cartes Bancaires, CEA LETI, CESTI-CEACI Thalès, ENSM SE, PRINT-CRDP

15

Perspectives

• The POI experience is a step towards the use of CC in domains wherethe principle « one-product / one-EAL » does not hold

• Introducing flexibility at the SAR level would allow the securityevaluation of complex products with components of heterogeneoussecurity levels (e.g. including COTS)

• Real payment terminal evaluations conformant to POI PP shall providefeedback on on the approach and the ways it can be reproduced.