LibItsPki_Pixits.ttcn 2.72 KB
Newer Older
garciay's avatar
garciay committed
1
module LibItsPki_Pixits {
Yann Garcia's avatar
Yann Garcia committed
2
3
4
5
6
7
8
  
  // LibCommon
  import from LibCommon_BasicTypesAndValues all;
  import from LibCommon_DataStrings all;
  
  // LibIts
  import from IEEE1609dot2BaseTypes language "ASN.1:1997" all;
9
10
11

  // LibItsPki
  import from LibItsPki_TypesAndValues all;
garciay's avatar
garciay committed
12
  
13
14
15
16
17
  /**
   * @desc Do the encryption keys be included in Authorization Request?
   */
  modulepar boolean PX_INCLUDE_ENCRYPTION_KEYS := true;
  
Yann Garcia's avatar
Yann Garcia committed
18
19
20
21
  /**
   * @desc Contains the private key for the EC certificate, used in case of re-enrolment
   */
  modulepar Oct32 PX_EC_PRIVATE_KEY := int2oct(0, 32);
22
  
Yann Garcia's avatar
Yann Garcia committed
23
24
25
26
  /**
   * @desc Contains the hashed id8 of the EC certificate, used in case of re-enrolment
   */
  modulepar HashedId8 PX_EC_HASHED_ID8 := int2oct(0, 8);
Yann Garcia's avatar
Yann Garcia committed
27
28
29
30
31

  /**
   * @desc Contains the hash of the EC certificate, used in case of re-enrolment
   */
  modulepar Oct32 PX_EC_HASH := int2oct(0, 32);
32
33
  
  /**
34
   * @desc Indicate which encryption algorithem to be used for Enrolment Credencial
35
   */
Yann Garcia's avatar
Yann Garcia committed
36
37
  modulepar SecurityAlg PX_EC_ALG_FOR_EC  := e_nist_p256; // TODO Use RCA to determine encryption algorithm?
  /**
YannGarcia's avatar
YannGarcia committed
38
   * @desc Indicate which encryption algorithem to be used for Authorization Request (AA certificate of the IUT)
Yann Garcia's avatar
Yann Garcia committed
39
40
41
   */
  modulepar SecurityAlg PX_EC_ALG_FOR_AT  := e_nist_p256;
  /**
YannGarcia's avatar
YannGarcia committed
42
   * @desc Indicate which encryption algorithem to be used for Authorization Validation Request (EA certificate of the IUT)
Yann Garcia's avatar
Yann Garcia committed
43
44
   */
  modulepar SecurityAlg PX_EC_ALG_FOR_ATV := e_nist_p256;
YannGarcia's avatar
YannGarcia committed
45
46
47
48
  /**
   * @desc Indicate which encryption algorithem to be used for EcSignature (EA certificate of the IUT)
   */
  modulepar SecurityAlg PX_EC_ALG_FOR_EC_SIGN := e_nist_p256;
49
50
51
52
53
54
  
  /**
   * @desc Indicate which verification algorithem to be used
   */
  modulepar SecurityAlg PX_VE_ALG := e_nist_p256;
  
Yann Garcia's avatar
Yann Garcia committed
55
56
57
58
59
60
61
62
  modulepar Int16 PX_GENERATED_CERTIFICATE_DURATION := 120;

  modulepar SubjectAssurance PX_GENERATED_CERTIFICATE_SUBJECT_ASSURENCE_LEVEL := '00'O;

  modulepar CountryOnly PX_GENERATED_CERTIFICATE_REGION_COUNTRY_1 := 250;

  modulepar CountryOnly PX_GENERATED_CERTIFICATE_REGION_COUNTRY_2 := 380;

63
64
65
66
  modulepar octetstring PX_INNER_EC_CERTFICATE_BITMAP_SSP_SCR := '01C0'O;

  modulepar octetstring PX_INNER_EC_CERTFICATE_INCORRECT_BITMAP_SSP_SCR := '01FF'O;

YannGarcia's avatar
YannGarcia committed
67
68
69
70
  modulepar octetstring PX_INNER_EC_CERTFICATE_INCORRECT_BITMAP_SSP_SCR_WRONG_VERSION := '00C0'O;
  
  modulepar octetstring PX_INNER_EC_CERTFICATE_INCORRECT_BITMAP_SSP_SCR_WRONG_SSP_BIT := '0180'O;
  
71
72
73
74
75
76
77
78
  modulepar octetstring PX_INNER_EC_CERTFICATE_BITMAP_SSP_CAM := '830001'O;
  
  modulepar octetstring PX_INNER_EC_CERTFICATE_BITMAP_SSP_DENM := '830001'O;
  
  modulepar octetstring PX_INNER_AT_CERTFICATE_BITMAP_SSP_CAM := '01FFFC'O;
  
  modulepar octetstring PX_INNER_AT_CERTFICATE_BITMAP_SSP_DENM := '01FFFFFF'O;
  
garciay's avatar
garciay committed
79
} // End of module LibItsPki_Pixits