Commission Implementing Regulation (EU) 2016/799Show full title

PART A U.K. FIRST-GENERATION TACHOGRAPH SYSTEM

1. INTRODUCTION U.K.

1.1. References U.K.

The following references are used in this Appendix:

SHA-1

National Institute of Standards and Technology (NIST). FIPS Publication 180-1: Secure Hash Standard. April 1995.

PKCS1

RSA Laboratories. PKCS # 1: RSA Encryption Standard. Version 2.0. October 1998.

TDES

National Institute of Standards and Technology (NIST). FIPS Publication 46-3: Data Encryption Standard. Draft 1999.

TDES-OP

ANSI X9.52, Triple Data Encryption Algorithm Modes of Operation. 1998.

ISO/IEC 7816-4

Information Technology — Identification cards — Integrated circuit(s) cards with contacts — Part 4: Interindustry commands for interexchange. First edition: 1995 + Amendment 1: 1997.

ISO/IEC 7816-6

Information Technology — Identification cards — Integrated circuit(s) cards with contacts — Part 6: Interindustry data elements. First edition: 1996 + Cor 1: 1998.

ISO/IEC 7816-8

Information Technology — Identification cards — Integrated circuit(s) cards with contacts — Part 8: Security related interindustry commands. First edition 1999.

ISO/IEC 9796-2

Information Technology — Security techniques — Digital signature schemes giving message recovery — Part 2: Mechanisms using a hash function. First edition: 1997.

ISO/IEC 9798-3

Information Technology — Security techniques — Entity authentication mechanisms — Part 3: Entity authentication using a public key algorithm. Second edition 1998.

ISO 16844-3

Road vehicles — Tachograph systems — Part 3: Motion sensor interface.

1.2. Notations and abbreviated terms U.K.

The following notations and abbreviated terms are used in this Appendix:

(K_a, K_b, K_c)

a key bundle for use by the Triple Data Encryption Algorithm,

CA

Certification Authority,

CAR

Certification Authority Reference,

CC

Cryptographic Checksum,

CG

Cryptogram,

CH

Command Header,

CHA

Certificate Holder Authorisation,

CHR

Certificate Holder Reference,

D()

Decryption with DES,

DE

Data Element,

DO

Data Object,

d

RSA private key, private exponent,

e

RSA public key, public exponent,

E()

Encryption with DES,

EQT

Equipment,

Hash()

hash value, an output of Hash,

Hash

hash function,

KID

Key Identifier,

Km

TDES key. Master Key defined in ISO 16844-3.

Km_VU

TDES key inserted in vehicle units.

Km_WC

TDES key inserted in workshop cards.

m

message representative, an integer between 0 and n-1,

n

RSA keys, modulus,

PB

Padding Bytes,

PI

Padding Indicator byte (for use in Cryptogram for confidentiality DO),

PV

Plain Value,

s

signature representative, an integer between 0 and n-1,

SSC

Send Sequence Counter,

SM

Secure Messaging,

TCBC

TDEA Cipher Block Chaining Mode of Operation

TDEA

Triple Data Encryption Algorithm,

TLV

Tag Length Value,

VU

Vehicle Unit,

X.C

the certificate of user X issued by a certification authority,

X.CA

a certification authority of user X,

X.CA.PK _o X.C

the operation of unwrapping a certificate to extract a public key. It is an infix operator, whose left operand is the public key of a certification authority, and whose right operand is the certificate issued by that certification authority. The outcome is the public key of the user X whose certificate is the right operand,

X.PK

RSA public key of a user X,

X.PK[I]

RSA encipherment of some information I, using the public key of user X,

X.SK

RSA private key of a user X,

X.SK[I]

RSA encipherment of some information I, using the private key of user X,

‘xx’

an Hexadecimal value,

||

concatenation operator.

2. CRYPTOGRAPHIC SYSTEMS AND ALGORITHMS U.K.

2.1. Cryptographic systems U.K.

CSM_001 Vehicle units and tachograph cards shall use a classical RSA public-key cryptographic system to provide the following security mechanisms: U.K.

• authentication between vehicle units and cards,

• transport of Triple-DES session keys between vehicle units and tachograph cards,

• digital signature of data downloaded from vehicle units or tachograph cards to external media.

CSM_002 Vehicle units and tachograph cards shall use a Triple DES symmetric cryptographic system to provide a mechanism for data integrity during user data exchange between vehicle units and tachograph cards, and to provide, where applicable, confidentiality of data exchange between vehicle units and tachograph cards. U.K.

2.2. Cryptographic algorithms U.K.

2.2.1 RSA algorithm U.K.

CSM_003 The RSA algorithm is fully defined by the following relations: U.K.

X.SK[m] = s = m^d mod n U.K.

X.PK[s] = m = s^e mod n

A more comprehensive description of the RSA function can be found in reference [PKCS1]. Public exponent, e, for RSA calculations is an integer between 3 and n-1 satisfying gcd(e, lcm(p-1, q-1))=1.

2.2.2 Hash algorithm U.K.

CSM_004 The digital signature mechanisms shall use the SHA-1 hash algorithm as defined in reference [SHA-1]. U.K.

2.2.3 Data Encryption Algorithm U.K.

CSM_005 DES based algorithms shall be used in Cipher Block Chaining mode of operation. U.K.

3. KEYS AND CERTIFICATES U.K.

3.1. Keys generation and distribution U.K.

3.1.1 RSA Keys generation and distribution U.K.

CSM_006 RSA keys shall be generated through three functional hierarchical levels: U.K.

• European level,

• Member State level,

• Equipment level.

CSM_007 At European level, a single European key pair (EUR.SK and EUR.PK) shall be generated. The European private key shall be used to certify the Member States public keys. Records of all certified keys shall be kept. These tasks shall be handled by a European Certification Authority, under the authority and responsibility of the European Commission. U.K.

CSM_008 At Member State level, a Member State key pair (MS.SK and MS.PK) shall be generated. Member States public keys shall be certified by the European Certification Authority. The Member State private key shall be used to certify public keys to be inserted in equipment (vehicle unit or tachograph card). Records of all certified public keys shall be kept with the identification of the equipment to which it is intended. These tasks shall be handled by a Member State Certification Authority. A Member State may regularly change its key pair. U.K.

CSM_009 At equipment level, one single key pair (EQT.SK and EQT.PK) shall be generated and inserted in each equipment. Equipment public keys shall be certified by a Member State Certification Authority. These tasks may be handled by equipment manufacturers, equipment personalisers or Member State authorities. This key pair is used for authentication, digital signature and encipherement services U.K.

CSM_010 Private keys confidentiality shall be maintained during generation, transport (if any) and storage. U.K.

The following picture summarises the data flow of this process:

3.1.2 RSA Test keys U.K.

CSM_011 For the purpose of equipment testing (including interoperability tests) the European Certification Authority shall generate a different single European test key pair and at least two Member State test key pairs, the public keys of which shall be certified with the European private test key. Manufacturers shall insert, in equipment undergoing type approval tests, test keys certified by one of these Member State test keys. U.K.

3.1.3 Motion sensor keys U.K.

The confidentiality of the three Triple DES keys described below shall be appropriately maintained during generation, transport (if any) and storage.

In order to support tachograph components compliant with ISO 16844, the European Certification Authority and the Member State Certification Authorities shall, in addition, ensure the following:

CSM_036 The European Certification authority shall generate KmVU and KmWC, two independent and unique Triple DES keys, and generate Km as: Km = Km_VU XOR Km_WC. The European Certification Authority shall forward these keys, under appropriately secured procedures, to Member States Certification Authorities at their request. U.K.

CSM_037 Member States Certification Authorities shall: U.K.

• use Km to encrypt motion sensor data requested by motion sensor manufacturers (data to be encrypted with Km is defined in ISO 16844-3),

• forward Km_VU to vehicle unit manufacturers, under appropriately secured procedures, for insertion in vehicle units,

• ensure that Km_WC will be inserted in all workshop cards ( in elementary file) during card personalisation.

3.1.4 T-DES session keys generation and distribution U.K.

CSM_012 Vehicle units and tachograph cards shall, as a part of the mutual authentication process, generate and exchange necessary data to elaborate a common Triple DES session key. This exchange of data shall be protected for confidentiality through an RSA crypt-mechanism. U.K.

CSM_013 This key shall be used for all subsequent cryptographic operations using secure messaging. Its validity shall expire at the end of the session (withdrawal of the card or reset of the card) and/or after 240 use (one use of the key = one command using secure messaging sent to the card and associated response). U.K.

3.2. Keys U.K.

CSM_014 RSA keys shall have (whatever the level) the following lengths: modulus n1 024 bits, public exponent e 64 bits maximum, private exponent d1 024 bits. U.K.

CSM_015 Triple DES keys shall have the form (K_a, K_b, K_a) where K_a and K_b are independent 64 bits long keys. No parity error detecting bits shall be set. U.K.

3.3. Certificates U.K.

CSM_016 RSA Public key certificates shall be ‘non self-descriptive’‘Card Verifiable’ certificates (Ref.: ISO/IEC 7816-8) U.K.

3.3.1 Certificates content U.K.

CSM_017 RSA Public key certificates are built with the following data in the following order: U.K.

Data	Format	Bytes	Obs
CPI	INTEGER	1	Certificate Profile Identifier (‘01’ for this version)
CAR	OCTET STRING	8	Certification Authority Reference
CHA	OCTET STRING	7	Certificate Holder Authorisation
EOV	TimeReal	4	Certificate end of validity. Optional, ‘FF’ padded if not used.
CHR	OCTET STRING	8	Certificate Holder Reference
n	OCTET STRING	128	Public key (modulus)
e	OCTET STRING	8	Public Key (public exponent)
		164

Notes: U.K.

1. The ‘Certificate Profile Identifier’ (CPI) delineates the exact structure of an authentication certificate. It can be used as an equipment internal identifier of a relevant headerlist which describes the concatenation of Data Elements within the certificate. U.K.

The headerlist associated with this certificate content is as follows:

‘4D’

‘16’

‘5F 29’

‘01’

‘42’

‘08’

‘5F 4B’

‘07’

‘5F 24’

‘04’

‘5F 20’

‘08’

‘7F 49’

‘05’

‘81’

‘81 80’

‘82’

‘08’

Extended Headerlist Tag

Length of header list

CPI Tag

CPI Length

CAR Tag

CAR Length

CHA Tag

CHA Length

EOV Tag

EOV Length

CHR Tag

CHR Length

Public Key Tag (Constructed)

Length of subsequent DOs

modulus Tag

modulus length

public exponent Tag

public exponent length

2. The ‘Certification Authority Reference’ (CAR) has the purpose of identifying the certificate issuing CA, in such a way that the Data Element can be used at the same time as an Authority Key Identifier to reference the Public Key of the Certification Authority (for coding, see Key Identifier below). U.K.

3. The ‘Certificate Holder Authorisation’ (CHA) is used to identify the rights of the certificate holder. It consists of the Tachograph Application ID and of the type of equipment to which the certificate is intended (according to data element, ‘00’ for a Member State). U.K.

4. The ‘Certificate Holder Reference’ (CHR) has the purpose of identifying uniquely the certificate holder, in such a way that the Data Element can be used at the same time as a Subject Key Identifier to reference the Public Key of the certificate holder. U.K.

5. Key Identifiers uniquely identify certificate holder or certification authorities. They are coded as follows: U.K.

5.1

Equipment (VU or Card):

Data	Equipment serial number	Date	Type	Manufacturer
Length	4 Bytes	2 Bytes	1 Byte	1 Byte
Value	Integer	mm yy BCD coding	Manufacturer specific	Manufacturer code

In the case of a VU, the manufacturer, when requesting certificates, may or may not know the identification of the equipment in which the keys will be inserted.

In the first case, the manufacturer will send the equipment identification with the public key to its Member State authority for certification. The certificate will then contain the equipment identification, and the manufacturer must ensure that keys and certificate are inserted in the intended equipment. The Key identifier has the form shown above.

In the later case, the manufacturer must uniquely identify each certificate request and send this identification with the public key to its Member State authority for certification. The certificate will contain the request identification. The manufacturer must feed back its Member State authority with the assignment of key to equipment (i.e. certificate request identification, equipment identification) after key installation in the equipment. The key identifier has the following form:

Data	Certificate request serial number	Date	Type	Manufacturer
Length	4 Bytes	2 Bytes	1 Byte	1 Byte
Value	Integer	mm yy BCD coding	‘FF’	Manufacturer code

5.2

Certification Authority:

Data	Authority Identification	Key serial number	Additional info	Identifier
Length	4 Bytes	1 Byte	2 Bytes	1 Byte
Value	1 Byte nation numerical code 3 Bytes nation alphanumerical code	Integer	additional coding (CA specific) ‘FF FF’ if not used	‘01’

The key serial number is used to distinguish the different keys of a Member State, in the case the key is changed.

6. Certificate verifiers shall implicitly know that the public key certified is an RSA key relevant to authentication, digital signature verification and encipherement for confidentiality services (the certificate contains no Object Identifier to specify it). U.K.

3.3.2 Certificates issued U.K.

CSM_018 The certificate issued is a digital signature with partial recovery of the certificate content in accordance with ISO/IEC 9796-2 (except for its annex A4), with the ‘Certification Authority Reference’ appended. U.K.

X.C = X.CA.SK[‘6A’ || C_r || Hash(Cc) || ‘BC’] || C_n || X.CAR

With certificate content = Cc =	Cr	||	Cn
	106 bytes		58 bytes

Notes: U.K.

1. This certificate is 194 bytes long. U.K.

2. CAR, being hidden by the signature, is also appended to the signature, such that the Public Key of the Certification Authority may be selected for the verification of the certificate. U.K.

3. The certificate verifier shall implicitly know the algorithm used by the Certification Authority to sign the certificate. U.K.

4. The headerlist associated with this issued certificate is as follows: U.K.

‘7F 21’	‘09’	‘5F 37’	‘81 80’	‘5F 38’	‘3A’	‘42’	‘08’
CV Certificate Tag (Constructed)	Length of subsequent DOs	Signature Tag	Signature Length	Remainder Tag	Remainder Length	CAR Tag	CAR Length

3.3.3 Certificate verification and unwrapping U.K.

Certificate verification and unwrapping consists in verifying the signature in accordance with ISO/IEC 9796-2, retrieving the certificate content and the public key contained: X.PK = X.CA.PK _o X.C, and verifying the validity of the certificate.

CSM_019 It involves the following steps: U.K.

• Verify signature and retrieve content:

  — from X.C retrieve Sign, Cn' and CAR':	X.C =	Sign	||	Cn'	||	CAR'
  		128 Bytes		58 Bytes		8 Bytes

  • from CAR' select appropriate Certification Authority Public Key (if not done before through other means)

  • open Sign with CA Public Key: Sr'= X.CA.PK [Sign],

  • check Sr' starts with ‘6A’ and ends with ‘BC’

  — compute Cr' and H' from: Sr' =	‘6A’	||	Cr'	||	H'	||	‘BC’
  			106 Bytes		20 Bytes

  • Recover certificate content C' = C_r' || C_n',

  • check Hash(C') = H'

• If the checks are OK the certificate is a genuine one, its content is C'.

• Verify validity. From C':

  • if applicable, check End of validity date,

• Retrieve and store public key, Key Identifier, Certificate Holder Authorisation and Certificate End of Validity from C':

  • X.PK = n || e

  • X.KID = CHR

  • X.CHA = CHA

  • X.EOV = EOV

4. MUTUAL AUTHENTICATION MECHANISM U.K.

Mutual authentication between cards and VUs is based on the following principle:

Each party shall demonstrate to the other that it owns a valid key pair, the public key of which has been certified by a Member State certification authority, itself being certified by the European certification authority.

Demonstration is made by signing with the private key a random number sent by the other party, who must recover the random number sent when verifying this signature.

The mechanism is triggered at card insertion by the VU. It starts with the exchange of certificates and unwrapping of public keys, and ends with the setting of a session key.

CSM_020 The following protocol shall be used (arrows indicate commands and data exchanged (see Appendix 2)): U.K.

5. VU-CARDS DATA TRANSFER CONFIDENTIALITY, INTEGRITY AND AUTHENTICATION MECHANISMS U.K.

5.1. Secure Messaging U.K.

CSM_021 VU-Cards data transfers integrity shall be protected through Secure Messaging in accordance with references [ISO/IEC 7816-4] and [ISO/IEC 7816-8]. U.K.

CSM_022 When data need to be protected during transfer, a Cryptographic Checksum Data Object shall be appended to the Data Objects sent within the command or the response. The Cryptographic Checksum shall be verified by the receiver. U.K.

CSM_023 The cryptographic checksum of data sent within a command shall integrate the command header, and all data objects sent (=>CLA = ‘0C’, and all data objects shall be encapsulated with tags in which b1=1). U.K.

CSM_024 The response status-information bytes shall be protected by a cryptographic checksum when the response contains no data field. U.K.

CSM_025 Cryptographic checksums shall be 4 Bytes long. U.K.

The structure of commands and responses when using secure messaging is therefore the following:

• The DOs used are a partial set of the Secure Messaging DOs described in ISO/IEC 7816-4:

  Tag	Mnemonic	Meaning
  ‘81’	TPV	Plain Value not BER-TLV coded data (to be protected by CC)
  ‘97’	TLE	Value of Le in the unsecured command (to be protected by CC)
  ‘99’	TSW	Status-Info (to be protected by CC)
  ‘8E’	TCC	Cryptographic Checksum
  ‘87’	TPI CG	Padding Indicator Byte || Cryptogram (Plain Value not coded in BER-TLV)

• Given an unsecured command response pair:

  Command header				Command body
  CLA	INS	P1	P2	[Lc field]	[Data field]	[Le field]
  four bytes				L bytes, denoted as B1 to BL

  Response body	Response trailer
  [Data field]	SW1	SW2
  Lr data bytes	two bytes

• The corresponding secured command response pair is:

  • Secured command:

    Command header (CH)				Command body
    CLA	INS	P1	P2	[New Lc field]	[New Data field]									[New Le field]
    ‘OC’				Length of New Data field	TPV	LPV	PV	TLE	LLE	Le	TCC	LCC	CC	‘00’
    					‘81’	Lc	Data field	‘97’	‘01’	Le	‘8E’	‘04’	CC

    Data to be integrated in checksum = CH || PB || T_PV || L_PV || PV || T_LE || L_LE || L_e || PB

    PB = Padding Bytes (80 .. 00) in accordance with ISO-IEC 7816-4 and ISO 9797 method 2.

    DOs PV and LE are present only when there is some corresponding data in the unsecured command.

  • Secured response:

    1.

    Case where response data field is not empty and needs not to be protected for confidentiality:

    Response body						Response trailer
    [New Data field]						new SW1 SW2
    TPV	LPV	PV	TCC	LCC	CC
    ‘81’	Lr	Data field	‘8E’	‘04’	CC

    Data to be integrated in checksum = T_PV || L_PV || PV || PB

    2.

    Case where response data field is not empty and needs to be protected for confidentiality:

    Response body						Response trailer
    [New Data field]						new SW1 SW2
    TPI CG	LPI CG	PI CG	TCC	LCC	CC
    ‘87’		PI || CG	‘8E’	‘04’	CC

    Data to be carried by CG: non BER-TLV coded data and padding bytes.

    Data to be integrated in checksum = T_{PI CG} || L_{PI CG} || PI CG || PB

    3.

    Case where response data field is empty:

    Response body						Response trailer
    [New Data field]						new SW1 SW2
    TSW	LSW	SW	TCC	LCC	CC
    ‘99’	‘02’	New SW1 SW2	‘8E’	‘04’	CC

    Data to be integrated in checksum = T_SW || L_SW || SW || PB

5.2. Treatment of Secure Messaging errors U.K.

CSM_026 When the tachograph card recognises an SM error while interpreting a command, then the status bytes must be returned without SM. In accordance with ISO/IEC 7816-4, the following status bytes are defined to indicate SM errors: U.K.

‘66 88’

:

Verification of Cryptographic Checksum failed,

‘69 87’

:

Expected SM Data Objects missing,

‘69 88’

:

SM Data Objects incorrect.

CSM_027 When the tachograph card returns status bytes without SM DOs or with an erroneous SM DO, the session must be aborted by the VU. U.K.

5.3. Algorithm to compute Cryptographic Checksums U.K.

CSM_028 Cryptographic checksums are built using a retail MACs in accordance with ANSI X9.19 with DES: U.K.

• Initial stage: The initial check block y0 is E(Ka, SSC).

• Sequential stage: The check blocks y1, .., yn are calculated using Ka.

• Final stage: The cryptographic checksum is calculated from the last check block yn as follows: E(Ka, D(Kb, yn)).

where E() means encryption with DES, and D() means decryption with DES.

The four most significant bytes of the cryptographic checksum are transferred

CSM_029 The Send Sequence Counter (SSC) shall be initiated during key agreement procedure to: U.K.

Initial SSC: Rnd3 (4 least significant bytes) || Rnd1 (4 least significant bytes).

CSM_030 The Send Sequence Counter shall be increased by 1 each time before a MAC is calculated (i.e. the SSC for the first command is Initial SSC + 1, the SSC for the first response is Initial SSC + 2). U.K.

The following figure shows the calculation of the retail MAC:

5.4. Algorithm to compute cryptograms for confidentiality DOs U.K.

CSM_031 Cryptograms are computed using TDEA in TCBC mode of operation in accordance with references [TDES] and [TDES-OP] and with the Null vector as Initial Value block. U.K.

The following figure shows the application of keys in TDES:

6. DATA DOWNLOAD DIGITAL SIGNATURE MECHANISMS U.K.

CSM_032 The Intelligent Dedicated Equipment (IDE) stores data received from an equipment (VU or card) during one download session within one physical data file. This file must contain the certificates MS_i.C and EQT.C. The file contains digital signatures of data blocks as specified in Appendix 7 Data Downloading Protocols. U.K.

CSM_033 Digital signatures of downloaded data shall use a digital signature scheme with appendix such, that downloaded data may be read without any decipherment if desired. U.K.

6.1. Signature generation U.K.

CSM_034 Data signature generation by the equipment shall follow the signature scheme with appendix defined in reference [PKCS1] with the SHA-1 hash function: U.K.

• Signature = EQT.SK[‘00’ || ‘01’ || PS || ‘00’ || DER(SHA-1(Data))]

• PS = Padding string of octets with value ‘FF’ such that length is 128.

• DER(SHA-1(M)) is the encoding of the algorithm ID for the hash function and the hash value into an ASN.1 value of type DigestInfo (distinguished encoding rules):

  ‘30’||‘21’||‘30’||‘09’||‘06’||‘05’||‘2B’||‘0E’||‘03’||‘02’||‘1A’||‘05’||‘00’||‘04’||‘14’||Hash Value.

6.2. Signature verification U.K.

CSM_035 Data signature verification on downloaded data shall follow the signature scheme with appendix defined in reference [PKCS1] with the SHA-1 hash function. U.K.

The European public key EUR.PK needs to be known independently (and trusted) by the verifier.

The following table illustrates the protocol an IDE carrying a Control card can follow to verify the integrity of data downloaded and stored on the ESM (External Storage media). The control card is used to perform the decipherement of digital signatures. This function may in this case not be implemented in the IDE.

The equipment that has downloaded and signed the data to be analysed is denoted EQT.