LibItsPki_Pics.ttcn 6.53 KB
Newer Older
garciay's avatar
garciay committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
module LibItsPki_Pics {
  
  /**
   * @desc Does the IUT act as ITS-S device?
   */
  modulepar boolean PICS_IUT_ITS_S_ROLE := false;
  
  /**
   * @desc Does the IUT act as EA device?
   */
  modulepar boolean PICS_IUT_EA_ROLE := true;
  
  /**
   * @desc Does the IUT act as AA device?
   */
Yann Garcia's avatar
Yann Garcia committed
16
  modulepar boolean PICS_IUT_AA_ROLE := true;
garciay's avatar
garciay committed
17
  
YannGarcia's avatar
YannGarcia committed
18
19
20
21
22
  /**
   * @desc Does the IUT act as CA device?
   */
  modulepar boolean PICS_IUT_CA_ROLE := true;
  
23
24
25
26
27
28
29
30
31
32
33
34
35
  /**
   * @desc Does the IUT support enrolment?
   */
  modulepar boolean PICS_SECPKI_ENROLMENT := true;
  
  /**
   * @desc Does the IUT support autorization?
   */
  modulepar boolean PICS_SECPKI_AUTHORIZATION := true;
  
  /**
   * @desc Is a re-enrolment request?
   */
Yann Garcia's avatar
Yann Garcia committed
36
  modulepar boolean PICS_SECPKI_REENROLMENT := false;
37
38
39
40
41

  /**
   * @desc ?
   */
  modulepar boolean PICS_SECPKI_CRL := false;
vagrant's avatar
vagrant committed
42
  
43
44
45
46
47
  /**
   * @desc Do the Authorization Request use SignedWithPop mechanism?
   */
  modulepar boolean PICS_PKI_AUTH_POP := true;

garciay's avatar
garciay committed
48
  /**
garciay's avatar
garciay committed
49
   * @desc Certificate used by the IUT acting as ITS-S
garciay's avatar
garciay committed
50
   */
51
  modulepar charstring PICS_IUT_CERTIFICATE_ID := "CERT_IUT_A_AT";
garciay's avatar
garciay committed
52

garciay's avatar
garciay committed
53
54
55
  /**
   * @desc Certificate used by the IUT acting as EA
   */
56
  modulepar charstring PICS_IUT_EA_CERTIFICATE_ID := "CERT_IUT_A_EA";
garciay's avatar
garciay committed
57
58
59
60

  /**
   * @desc Certificate used by the IUT acting as AA
   */
61
  modulepar charstring PICS_IUT_AA_CERTIFICATE_ID := "CERT_IUT_A_AA";
garciay's avatar
garciay committed
62
63
64
65

  /**
   * @desc Certificate used by the IUT acting as AA
   */
66
  modulepar charstring PICS_IUT_CA_CERTIFICATE_ID := "CERT_IUT_A_RCA";
garciay's avatar
garciay committed
67

garciay's avatar
garciay committed
68
  /**
Yann Garcia's avatar
Yann Garcia committed
69
   * @desc Certificate used by the Test System acting as ITS-S
garciay's avatar
garciay committed
70
71
72
   */
  modulepar charstring PICS_TS_CERTIFICATE_ID := "CERT_TS_A_EA";
  
Yann Garcia's avatar
Yann Garcia committed
73
74
75
  /**
   * @desc Certificate used by the Test System acting as EA
   */
76
  modulepar charstring PICS_TS_EA_CERTIFICATE_ID := "CERT_TS_A_EA";
Yann Garcia's avatar
Yann Garcia committed
77
78
79
80
  
  /**
   * @desc Certificate used by the Test System acting as AA
   */
81
82
83
84
85
86
  modulepar charstring PICS_TS_AA_CERTIFICATE_ID := "CERT_TS_A_AA";
  
  /**
   * @desc Certificate used by the Test System acting as EA
   */
  modulepar charstring PICS_TS_CA_CERTIFICATE_ID := "CERT_TS_RCA_A";
Yann Garcia's avatar
Yann Garcia committed
87
  
Yann Garcia's avatar
Yann Garcia committed
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
  /**
   * @desc Set to true if different end points are used for EC and AT
   */
  modulepar boolean PICS_MULTIPLE_END_POINT := false;

  /**
   * @desc End point for the enrolment
   */
  modulepar charstring PICS_HEADER_HOST_EC := "www.its.ec.org";
  
  /**
   * @desc End point for the authorization validation
   */
  modulepar charstring PICS_HEADER_HOST_ATV := "www.its.atv.org";
  
  /**
   * @desc End point for the authorization
   */
  modulepar charstring PICS_HEADER_HOST_AT := "www.its.at.org";
  
YannGarcia's avatar
YannGarcia committed
108
109
110
111
112
  /**
   * @desc End point for the CA
   */
  modulepar charstring PICS_HEADER_HOST_CA := "www.its.ca.org";
  
113
114
115
  /**
   * @desc Certificate used by the Test System
   */
116
117
118
119
120
121
122
  modulepar charstring PICS_HTTP_POST_URI := "/its/inner_ec_request";
  
  /**
   * @desc ITS-S with privacy
   */
  modulepar boolean PICS_ITS_S_WITH_PRIVACY := true;
  
YannGarcia's avatar
YannGarcia committed
123
124
125
  /**
   * @desc Set to true if the PKI configuration authorize to configure an external EA entity
   */
YannGarcia's avatar
YannGarcia committed
126
  
127
  modulepar boolean PICS_SIMULATE_EA_ENTITY := false;
YannGarcia's avatar
YannGarcia committed
128
129
130
131
  
  /**
   * @desc Set to true if the PKI configuration authorize to configure an external AA entity
   */
132
  modulepar boolean PICS_SIMULATE_AA_ENTITY := false;
YannGarcia's avatar
YannGarcia committed
133
  
Yann Garcia's avatar
Yann Garcia committed
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
  /**
   * @desc HTTP POST URI for InnerECRequest
   */
  modulepar charstring PICS_HTTP_POST_URI_EC := "/enrolment";
  
  /**
   * @desc HTTP POST URI for InnerATRequest
   */
  modulepar charstring PICS_HTTP_POST_URI_AT := "/authorize";
  
  /**
   * @desc HTTP POST URI for authorization validation
   */
  modulepar charstring PICS_HTTP_POST_URI_ATV := "/authorize_validate";
  
YannGarcia's avatar
YannGarcia committed
149
150
151
152
153
  /**
   * @desc HTTP GET URI for Certificate Trusted List
   */
  modulepar charstring PICS_HTTP_GET_URI_CTL := "/dc/getctl";
  
garciay's avatar
garciay committed
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
  /**
   * @desc Factory private key for verification Nist P256
   */
  modulepar octetstring PICS_ITS_S_SIGN_NITSP256_PRIVATE_KEY := '5C25F97607DFC62972A147FAD8B7A7C939569F0F95ECD4C641724A68B51836E5'O;
  
  /**
   * @desc Factory compressed public key for verification Nist P256
   */
  modulepar octetstring PICS_ITS_S_SIGN_NISTP256_PUBLIC_KEY := '020144E5174B0AFDA86BDB8B643B68D40030F5BDB9A9F090C64852CC3C20C9D5AD'O;
  
  /**
   * @desc Factory private key for encryption Nist P256
   */
  modulepar octetstring PICS_ITS_S_ENC_NITSP256_PRIVATE_KEY := 'EDEBEADCAA9514CD4B30256126FB7DF958B911C6EB58CCF702983C3DCD3DECBD'O;
  
  /**
   * @desc Factory compressed public key for encryption Nist P256
   */
  modulepar octetstring PICS_ITS_S_ENC_NISTP256_PUBLIC_KEY := '023A4ADDCDD5EE66DAB2116B0C3AB47CCEDAE92CD9ACE98A84B10EB63A9DCA798C'O;
  
  /**
   * @desc Factory private key for encryption Brainpool P256 r1
   */
  modulepar octetstring PICS_ITS_S_ENC_BRAINPOOLP256r1_PRIVATE_KEY := '9F155D40B6C920BA45D8027093C8ADADAF3AA6F9F71F0CC0F8279FF0146A8A48'O;
  
  /**
   * @desc Factory compressed public key for encryption Brainpool P256 r1
   */
  modulepar octetstring PICS_ITS_S_ENC_BRAINPOOLP256r1_PUBLIC_KEY := '038602F468BD334EA4D2BA416295E204D58BD1F42C85FB9BE57237C74544F6A69A'O;
  
  /**
   * @desc Factory private key for verification Brainpool P256 r1
   */
  modulepar octetstring PICS_ITS_S_SIGN_BRAINPOOLP256r1_PRIVATE_KEY := '6D585B716D06F75EC2B8A8ADEBFCE6ED35B0640C2AFBFF25FE48FC81A6732D4F'O;
  
  /**
   * @desc Factory compressed public key for verification Brainpool P256 r1
   */
  modulepar octetstring PICS_ITS_S_SIGN_BRAINPOOLP256r1_PUBLIC_KEY := '02A92BA3B770B040B8D958D5BD2CC9B537212D6963F50EA3E4784FEFA5D0454C12'O;
  
  /**
   * @desc Factory private key for encryption Brainpool P384 r1
   */
  modulepar octetstring PICS_ITS_S_ENC_BRAINPOOLP384r1_PRIVATE_KEY := '6B4B4392511B252C904801466F5DA0A7F28E038E6656800CBB0CDCB3D32F862CA4D59CBDC1A19E98E9191582AF1DB3D7'O;
  
  /**
   * @desc Factory private key for verification Brainpool P384 r1
   */
  modulepar octetstring PICS_ITS_S_SIGN_BRAINPOOLP384r1_PRIVATE_KEY := '3CD977195A579787C84D5900F4CB6341E0C3D2750B140C5380E6F03CE3FBA0022F7541DEABDCED4790D313ED8F56ACA8'O;
  
  /**
   * @desc Factory compressed public key for verification Brainpool P384 r1
   */
  modulepar octetstring PICS_ITS_S_SIGN_BRAINPOOLP384r1_PUBLIC_KEY := '0243FF5C96984C2C3F5FD5C5F6551C90F5FAEE1E5E8301763E4AF1E9D627F3474E554B82EE98EC4B49808DFF61B35F8313'O;
  
209
210
211
  /**
   * @desc Canonical ITSS-S identifier
   */
212
  modulepar octetstring PICS_ITS_S_CANONICAL_ID := '1B4CA1210123AE900BBE6C3EBAE7E87DA20DBDAB1E7B2EC0691C51C1021900AA'O;
213
214
215
216

  /**
   * @desc Invalid Canonical ITSS-S identifier
   */
YannGarcia's avatar
YannGarcia committed
217
  modulepar octetstring PICS_INVALID_ITS_S_CANONICAL_ID := 'BABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABA'O;
218
  
garciay's avatar
garciay committed
219
} // End of module LibItsPki_Pics