Gitiles
Code Review Sign In
gerrit.osmocom.org / osmo-ttcn3-hacks / 4757be713fc2eaced77a4f9356031286007ae056 / . / library / euicc / RSPDefinitions_Templates.ttcn
blob: 7e0884faf568dea9e68f4f8922a2c29e3efc3da5 [file] [log] [blame]
Philipp Maier08902cf2024-03-04 10:32:55 +0100[diff] [blame]1/* SGP22 Templates in TTCN-3
2 *
3 * Author: Philipp Maier <pmaier@sysmocom.de> / sysmocom - s.f.m.c. GmbH
4 *
5 * Released under the terms of GNU General Public License, Version 2 or
6 * (at your option) any later version.
7 *
8 * SPDX-License-Identifier: GPL-2.0-or-later
9 */
10
11module RSPDefinitions_Templates {
12
13import from PEDefinitions all;
14import from RSPDefinitions all;
15import from RSPDefinitions_Types all;
16
17import from PKIX1Explicit88 all;
18import from PKIX1Explicit88_Templates all;
19import from PKIX1Explicit88_Types all;
20
21import from PKIX1Implicit88 all;
22
23/* GSMA SGP.22, section 2.5.4 */
24template (present) BoundProfilePackage
25tr_boundProfilePackage := {
26 initialiseSecureChannelRequest := {
27 remoteOpId := ?,
28 transactionId := ?,
29 controlRefTemplate := {
30 keyType := ?,
31 keyLen := ?,
32 hostId := ?
33 },
34 smdpOtpk := ?,
35 smdpSign := ?
36 },
37 /* ES8+.ConfigureISDP */
38 firstSequenceOf87 := ?,
39 /* ES8+.StoreMetadata */
40 sequenceOf88 := ?,
41 /* ES8+.ReplaceSessionKeys (optional) */
42 secondSequenceOf87 := *,
43 /* ES8+.LoadProfileElements */
44 sequenceOf86 := ?
45}
46template (value) BoundProfilePackage
47ts_boundProfilePackage := {
48 initialiseSecureChannelRequest := {
49 remoteOpId := 1,
50 transactionId := 'AABBCC'O,
51 controlRefTemplate := {
52 keyType := '88'O, /* AES */
53 keyLen := '10'O, /* 16 byte key-length */
54 hostId := '01020304050607080910111213141516'O
55 },
56 smdpOtpk := '1122334455667788'O,
57 smdpSign := 'AABBCCDDEEFF0000'O
58 },
59 /* ES8+.ConfigureISDP */
60 firstSequenceOf87 := {'41414141414141414141414141414141414141414141414141414141414141'O,
61 '42424242424242424242424242424242424242424242424242424242424242'O,
62 '43434343434343434343434343434343434343434343434343434343434343'O},
63 /* ES8+.StoreMetadata */
64 sequenceOf88 := {'444444444444444444444444444444444444444444'O,
65 '454545454545454545454545454545454545454545'O,
66 '464646464646464646464646464646464646464646'O},
67 /* ES8+.ReplaceSessionKeys (optional) */
68 secondSequenceOf87 := omit,
69 /* ES8+.LoadProfileElements */
70 sequenceOf86 := {'474747474747474747474747474747474747474747474747474747474747474747474747474747474747474747474747474747474747474747474747'O,
71 '484848484848484848484848484848484848484848484848484848484848484848484848484848484848484848484848484848484848484848484848'O,
72 '494949494949494949494949494949494949494949494949494949494949494949494949494949494949494949494949494949494949494949494949'O,
73 '505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050'O,
74 '515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151'O}
75}
76
Philipp Maier746f43e2024-04-29 12:17:12 +0200[diff] [blame]77template (present) ServerSigned1 tr_serverSigned1(template (present) octetstring transactionId := ?,
78 template (present) octetstring euiccChallenge := ?,
79 template (present) universal charstring serverAddress := ?,
80 template (present) octetstring serverChallenge := ?) := {
81 transactionId := transactionId,
82 euiccChallenge := euiccChallenge,
83 serverAddress := serverAddress,
84 serverChallenge := serverChallenge
85}
86template (value) ServerSigned1 ts_serverSigned1(template (value) octetstring transactionId := 'ABCDEF'O,
87 template (value) octetstring euiccChallenge := '00112233445566778899AABBCCDDEEFF'O,
88 template (value) universal charstring serverAddress := "smdp.example.com",
89 template (value) octetstring serverChallenge := '01020304050607080910111213141516'O) := {
90 transactionId := transactionId,
91 euiccChallenge := euiccChallenge,
92 serverAddress := serverAddress,
93 serverChallenge := serverChallenge
94}
95
Philipp Maierd7ccd012024-04-30 11:03:53 +0200[diff] [blame]96template (present) CtxParams1 tr_ctxParams1 := {
97 ctxParamsForCommonAuthentication := {
98 matchingId := *,
99 deviceInfo := {
100 tac := ?,
101 deviceCapabilities := {
102 gsmSupportedRelease := *,
103 utranSupportedRelease := *,
104 cdma2000onexSupportedRelease := *,
105 cdma2000hrpdSupportedRelease := *,
106 cdma2000ehrpdSupportedRelease := *,
107 eutranEpcSupportedRelease := *,
108 contactlessSupportedRelease := *,
109 rspCrlSupportedVersion := *,
110 nrEpcSupportedRelease := *,
111 nr5gcSupportedRelease := *,
112 eutran5gcSupportedRelease := *,
113 lpaSvn := *,
114 catSupportedClasses := *,
115 euiccFormFactorType := *,
116 deviceAdditionalFeatureSupport := *
117 },
118 imei := *
119 }
120 }
121}
122template (value) CtxParams1 ts_ctxParams1 := {
123 ctxParamsForCommonAuthentication := {
124 matchingId := omit,
125 deviceInfo := {
126 tac := '12345678'O,
127 deviceCapabilities := {
128 gsmSupportedRelease := omit,
129 utranSupportedRelease := omit,
130 cdma2000onexSupportedRelease := omit,
131 cdma2000hrpdSupportedRelease := omit,
132 cdma2000ehrpdSupportedRelease := omit,
133 eutranEpcSupportedRelease := omit,
134 contactlessSupportedRelease := omit,
135 rspCrlSupportedVersion := omit,
136 nrEpcSupportedRelease := omit,
137 nr5gcSupportedRelease := omit,
138 eutran5gcSupportedRelease := omit,
139 lpaSvn := omit,
140 catSupportedClasses := omit,
141 euiccFormFactorType := omit,
142 deviceAdditionalFeatureSupport := omit
143 },
144 imei := omit
145 }
146 }
147}
148
Philipp Maier916b5fa2024-04-30 11:34:09 +0200[diff] [blame]149template (present) EuiccSigned1 tr_euiccSigned1(template (present) octetstring transactionId := ?,
150 template (present) universal charstring serverAddress := ?,
151 template (present) octetstring serverChallenge := ?,
152 template (present) EUICCInfo2 euiccInfo2 := ?,
153 template (present) CtxParams1 ctxParams1 := ?) := {
154 transactionId := transactionId,
155 serverAddress := serverAddress,
156 serverChallenge := serverChallenge,
157 euiccInfo2 := euiccInfo2,
158 ctxParams1 := ctxParams1
159}
160template (value) EuiccSigned1 ts_euiccSigned1(template (value) octetstring transactionId := 'ABCDEF'O,
161 template (value) universal charstring serverAddress := "smdp.example.com",
162 template (value) octetstring serverChallenge := '01020304050607080910111213141516'O,
163 template (value) EUICCInfo2 euiccInfo2 := ts_EUICCInfo2,
164 template (value) CtxParams1 ctxParams1 := ts_ctxParams1) := {
165 transactionId := transactionId,
166 serverAddress := serverAddress,
167 serverChallenge := serverChallenge,
168 euiccInfo2 := euiccInfo2,
169 ctxParams1 := ctxParams1
170}
171
Philipp Maier35834752024-04-30 11:06:33 +0200[diff] [blame]172template (present) StoreMetadataRequest tr_storeMetadataRequest := {
173 iccid := ?,
174 serviceProviderName := ?,
175 profileName := ?,
176 iconType := *,
177 icon := *,
178 profileClass := ?,
179 notificationConfigurationInfo := *,
180 profileOwner := *,
181 profilePolicyRules := *,
182 serviceSpecificDataStoredInEuicc := *,
183 serviceSpecificDataNotStoredInEuicc := *
184}
185template (value) StoreMetadataRequest ts_storeMetadataRequest := {
186 iccid := '123456789ABCDEFFAAAA'O,
187 serviceProviderName := "testsuite",
188 profileName := "testprofile",
189 iconType := omit,
190 icon := omit,
191 profileClass := 2, /* operational */
192 notificationConfigurationInfo := omit,
193 profileOwner := omit,
194 profilePolicyRules := omit,
195 serviceSpecificDataStoredInEuicc := omit,
196 serviceSpecificDataNotStoredInEuicc := omit
197}
198
199template (present) SmdpSigned2 tr_smdpSigned2(template (present) octetstring transactionId := ?,
200 template (present) boolean ccRequiredFlag := ?) := {
201 transactionId := transactionId,
202 ccRequiredFlag := ccRequiredFlag,
203 bppEuiccOtpk := ?
204}
205template (value) SmdpSigned2 ts_smdpSigned2(template (value) octetstring transactionId := 'ABCDEF'O,
206 template (value) boolean ccRequiredFlag := false) := {
207 transactionId := transactionId,
208 ccRequiredFlag := ccRequiredFlag,
209 bppEuiccOtpk := omit
210}
211
Philipp Maier08902cf2024-03-04 10:32:55 +0100[diff] [blame]212/* GSMA SGP.22, section 2.5.6 */
213template (present) ProfileInstallationResult
214tr_profileInstallationResult := {
215 profileInstallationResultData := {
216 transactionId := ?,
217 notificationMetadata := {
218 seqNumber := ?,
219 profileManagementOperation := ?,
220 notificationAddress := ?,
221 iccid := *
222 },
223 smdpOid := ?,
224 finalResult := ?
225 },
226 euiccSignPIR := ?
227}
228template (value) ProfileInstallationResult
229ts_profileInstallationResult := {
230 profileInstallationResultData := {
231 transactionId := 'AABBCC'O,
232 notificationMetadata := {
233 seqNumber := 1234,
234 profileManagementOperation := '01'B, /* is this correct? (notificationInstall) */
235 notificationAddress := "smdp.example.com",
236 iccid := omit
237 },
238 smdpOid := id_rsp, /* random OBJECT IDENTIFIER for testing */
239 finalResult := {
240 successResult := {
241 aid := '0102030405'O,
242 simaResponse := '4141414141414141414141414141414141414141414141414141'O
243 }
244 }
245 },
246 euiccSignPIR := '00112233445566778899AABBCCDDEEFF'O
247}
248
249
250/* GSMA SGP.22, section 5.6.1 (ES9+) */
251template (present) RemoteProfileProvisioningRequest
252tr_initiateAuthenticationRequest(template (present) octetstring euiccChallenge := ?,
253 template (present) charstring smdpAddress := ?,
254 template (present) EUICCInfo1 euiccInfo1 := ?) := {
255 initiateAuthenticationRequest := {
256 euiccChallenge := euiccChallenge,
257 smdpAddress := smdpAddress,
258 euiccInfo1 := euiccInfo1
259 }
260}
261template (value) RemoteProfileProvisioningRequest
Philipp Maierb1e2fe42024-04-29 12:20:30 +0200[diff] [blame]262ts_initiateAuthenticationRequest(template (value) octetstring euiccChallenge := '00112233445566778899aabbccddeeff'O,
263 template (value) charstring smdpAddress := "smdp.example.com",
264 template (value) EUICCInfo1 euiccInfo1 := ts_EUICCInfo1) := {
Philipp Maier08902cf2024-03-04 10:32:55 +0100[diff] [blame]265 initiateAuthenticationRequest := {
266 euiccChallenge := euiccChallenge,
267 smdpAddress := smdpAddress,
268 euiccInfo1 := euiccInfo1
269 }
270}
271template (present) RemoteProfileProvisioningResponse
272tr_initiateAuthenticationResponse(template (present) octetstring transactionId := ?,
273 template (present) ServerSigned1 serverSigned1 := ?,
274 template (present) octetstring serverSignature1 := ?,
275 template (present) SubjectKeyIdentifier euiccCiPKIdToBeUsed := ?,
276 template (present) Certificate serverCertificate := ?) := {
277 initiateAuthenticationResponse := {
278 initiateAuthenticationOk := {
279 transactionId := transactionId,
280 serverSigned1 := serverSigned1,
281 serverSignature1 := serverSignature1,
282 euiccCiPKIdToBeUsed := euiccCiPKIdToBeUsed,
283 serverCertificate := serverCertificate
284 }
285 }
286}
287template (value) RemoteProfileProvisioningResponse
Philipp Maierb1e2fe42024-04-29 12:20:30 +0200[diff] [blame]288ts_initiateAuthenticationResponse(template (value) octetstring transactionId := 'ABCDEF'O,
289 template (value) ServerSigned1 serverSigned1 := ts_serverSigned1,
290 template (value) octetstring serverSignature1 := '01020304'O,
291 template (value) SubjectKeyIdentifier euiccCiPKIdToBeUsed := 'F54172BDF98A95D65CBEB88A38A1C11D800A85C3'O, /* NIST */
292 template (value) Certificate serverCertificate := ts_cert_s_sm_dpauth_nist) := {
Philipp Maier08902cf2024-03-04 10:32:55 +0100[diff] [blame]293 initiateAuthenticationResponse := {
294 initiateAuthenticationOk := {
295 transactionId := transactionId,
296 serverSigned1 := serverSigned1,
297 serverSignature1 := serverSignature1,
298 euiccCiPKIdToBeUsed := euiccCiPKIdToBeUsed,
299 serverCertificate := serverCertificate
300 }
301 }
302}
303
304/* GSMA SGP.22, section 5.6.2 (ES9+) */
305template (present) RemoteProfileProvisioningRequest
306tr_getBoundProfilePackageRequest(template (present) octetstring transactionId := ?,
307 template (present) PrepareDownloadResponse prepareDownloadResponse := ?) := {
308 getBoundProfilePackageRequest := {
309 transactionId := transactionId,
310 prepareDownloadResponse := prepareDownloadResponse
311 }
312}
313template (value) RemoteProfileProvisioningRequest
314ts_getBoundProfilePackageRequest(template (value) octetstring transactionId,
315 template (value) PrepareDownloadResponse prepareDownloadResponse) := {
316 getBoundProfilePackageRequest := {
317 transactionId := transactionId,
318 prepareDownloadResponse := prepareDownloadResponse
319 }
320}
321template (present) RemoteProfileProvisioningResponse
322tr_getBoundProfilePackageResponse(template (present) octetstring transactionId := ?,
323 template (present) BoundProfilePackage boundProfilePackage := ?) := {
324 getBoundProfilePackageResponse := {
325 getBoundProfilePackageOk := {
326 transactionId := transactionId,
327 boundProfilePackage := boundProfilePackage
328 }
329 }
330}
331template (value) RemoteProfileProvisioningResponse
332ts_getBoundProfilePackageResponse(template (value) octetstring transactionId,
333 template (value) BoundProfilePackage boundProfilePackage) := {
334 getBoundProfilePackageResponse := {
335 getBoundProfilePackageOk := {
336 transactionId := transactionId,
337 boundProfilePackage := boundProfilePackage
338 }
339 }
340}
341
342/* GSMA SGP.22, section 5.6.3 (ES9+) */
343template (present) RemoteProfileProvisioningRequest
344tr_authenticateClientRequest(template (present) octetstring transactionId := ?,
345 template (present) AuthenticateServerResponse authenticateServerResponse := ?) := {
346 authenticateClientRequest := {
347 transactionId := transactionId,
348 authenticateServerResponse := authenticateServerResponse
349 }
350}
351template (value) RemoteProfileProvisioningRequest
352ts_authenticateClientRequest(template (value) octetstring transactionId,
353 template (value) AuthenticateServerResponse authenticateServerResponse) := {
354 authenticateClientRequest := {
355 transactionId := transactionId,
356 authenticateServerResponse := authenticateServerResponse
357 }
358}
359template (present) RemoteProfileProvisioningResponse
360tr_authenticateClientResponseEs9(template (present) octetstring transactionId := ?,
361 template (present) StoreMetadataRequest profileMetaData := ?,
362 template (present) SmdpSigned2 smdpSigned2 := ?,
363 template (present) octetstring smdpSignature2 := ?,
364 template (present) Certificate smdpCertificate := ?) := {
365 authenticateClientResponseEs9 := {
366 authenticateClientOk := {
367 transactionId := transactionId,
368 profileMetaData := profileMetaData,
369 smdpSigned2 := smdpSigned2,
370 smdpSignature2 := smdpSignature2,
371 smdpCertificate := smdpCertificate
372 }
373 }
374}
375template (value) RemoteProfileProvisioningResponse
Philipp Maier35834752024-04-30 11:06:33 +0200[diff] [blame]376ts_authenticateClientResponseEs9(template (value) octetstring transactionId := 'ABCDEF'O,
377 template (value) StoreMetadataRequest profileMetaData := ts_storeMetadataRequest,
378 template (value) SmdpSigned2 smdpSigned2 := ts_smdpSigned2,
379 template (value) octetstring smdpSignature2 := 'BBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBB'O,
380 template (value) Certificate smdpCertificate := ts_cert_s_sm_dpauth_nist) := {
Philipp Maier08902cf2024-03-04 10:32:55 +0100[diff] [blame]381 authenticateClientResponseEs9 := {
382 authenticateClientOk := {
383 transactionId := transactionId,
384 profileMetaData := profileMetaData,
385 smdpSigned2 := smdpSigned2,
386 smdpSignature2 := smdpSignature2,
387 smdpCertificate := smdpCertificate
388 }
389 }
390}
391
392/* GSMA SGP.22, section 5.6.4 (ES9+) */
393template (present) RemoteProfileProvisioningRequest
394tr_handleNotification(template (present) PendingNotification pendingNotification := ?) := {
395 handleNotification := {
396 pendingNotification := pendingNotification
397 }
398}
399template (value) RemoteProfileProvisioningRequest
400ts_handleNotification(template (value) PendingNotification pendingNotification) := {
401 handleNotification := {
402 pendingNotification := pendingNotification
403 }
404}
405
406/* GSMA SGP.22, section 5.6.5 (ES9+) */
407template (present) RemoteProfileProvisioningRequest
408tr_cancelSessionRequestEs9(template (present) octetstring transactionId := ?,
409 template (present) CancelSessionResponse cancelSessionResponse := ?) := {
410 cancelSessionRequestEs9 := {
411 transactionId := transactionId,
412 cancelSessionResponse := cancelSessionResponse
413 }
414}
415template (value) RemoteProfileProvisioningRequest
416ts_cancelSessionRequestEs9(template (value) octetstring transactionId,
417 template (value) CancelSessionResponse cancelSessionResponse) := {
418 cancelSessionRequestEs9 := {
419 transactionId := transactionId,
420 cancelSessionResponse := cancelSessionResponse
421 }
422}
423template (present) RemoteProfileProvisioningResponse
424tr_cancelSessionResponseEs9 := {
425 cancelSessionResponseEs9 := {
426 cancelSessionOk := { } /* This function has no output data */
427 }
428}
429template (value) RemoteProfileProvisioningResponse
430ts_cancelSessionResponseEs9 := {
431 cancelSessionResponseEs9 := {
432 cancelSessionOk := { } /* This function has no output data */
433 }
434}
435
436
437/* GSMA SGP.22, section 5.7.3 (ES10x) */
438template (present) EuiccConfiguredAddressesResponse
439tr_euiccConfiguredAddressesResponse := {
440 defaultDpAddress := *,
441 rootDsAddress := ?
442}
443template (value) EuiccConfiguredAddressesResponse
444ts_euiccConfiguredAddressesResponse := {
445 defaultDpAddress := "smdp.example.com",
446 rootDsAddress := "smds.example.com"
447}
448
449/* GSMA SGP.22, section 5.7.5 (ES10x) */
450template (present) PrepareDownloadResponse
451tr_prepareDownloadResponse := {
452 downloadResponseOk := {
453 euiccSigned2 := {
454 transactionId := ?,
455 euiccOtpk := ?,
456 hashCc := *
457 },
458 euiccSignature2 := ?
459 }
460}
461template (value) PrepareDownloadResponse
462ts_prepareDownloadResponse := {
463 downloadResponseOk := {
464 euiccSigned2 := {
465 transactionId := 'ABCDEF'O,
466 euiccOtpk := 'AABBCCDDEEFF'O,
467 hashCc := omit
468 },
469 euiccSignature2 := 'AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA'O
470 }
471}
472
473/* GSMA SGP.22, section 5.7.7 (ES10x) */
474template (present) GetEuiccChallengeResponse
475tr_GetEuiccChallengeResponse := {
476 euiccChallenge := ?
477}
478template (value) GetEuiccChallengeResponse
479ts_GetEuiccChallengeResponse(template (value) octetstring euiccChallenge := '00112233445566778899AABBCCDDEEFF'O) := {
480 euiccChallenge := euiccChallenge
481}
482
483/* GSMA SGP.22, section 5.7.8 (ES10x) */
484template (present) EUICCInfo1
485tr_EUICCInfo1 := {
486 svn := ?,
487 euiccCiPKIdListForVerification := ?,
488 euiccCiPKIdListForSigning := ?
489}
490template (value) EUICCInfo1
491ts_EUICCInfo1 := {
492 svn := '020200'O,
493 euiccCiPKIdListForVerification := {
494 'C0BC70BA36929D43B467FF57570530E57AB8FCD8'O,
495 'F54172BDF98A95D65CBEB88A38A1C11D800A85C3'O
496 },
497 euiccCiPKIdListForSigning := {
498 'C0BC70BA36929D43B467FF57570530E57AB8FCD8'O,
499 'F54172BDF98A95D65CBEB88A38A1C11D800A85C3'O
500 }
501}
502
503/* GSMA SGP.22, section 5.7.8 (ES10x) */
504template (present) EUICCInfo2
505tr_EUICCInfo2 := {
506 profileVersion := ?,
507 svn := ?,
508 euiccFirmwareVer := ?,
509 extCardResource := ?,
510 uiccCapability := ?,
511 ts102241Version := *,
512 globalplatformVersion := *,
513 rspCapability := ?,
514 euiccCiPKIdListForVerification := ?,
515 euiccCiPKIdListForSigning := ?,
516 euiccCategory := *,
517 forbiddenProfilePolicyRules := *,
518 ppVersion := ?,
519 sasAcreditationNumber := ?,
520 certificationDataObject := *,
521 treProperties := *,
522 treProductReference := *,
523 additionalEuiccProfilePackageVersions := *
524}
525template (value) EUICCInfo2
526ts_EUICCInfo2 := {
527 profileVersion := '414243'O,
528 svn := '02000C'O,
529 euiccFirmwareVer := '414243'O,
530 extCardResource := '414243'O,
531 uiccCapability := '1111111111111111111'B,
532 ts102241Version := omit,
533 globalplatformVersion := omit,
534 rspCapability := '1111'B,
535 euiccCiPKIdListForVerification := {
536 'C0BC70BA36929D43B467FF57570530E57AB8FCD8'O,
537 'F54172BDF98A95D65CBEB88A38A1C11D800A85C3'O
538 },
539 euiccCiPKIdListForSigning := {
540 'C0BC70BA36929D43B467FF57570530E57AB8FCD8'O,
541 'F54172BDF98A95D65CBEB88A38A1C11D800A85C3'O
542 },
543 euiccCategory := omit,
544 forbiddenProfilePolicyRules := omit,
545 ppVersion := '414243'O,
546 sasAcreditationNumber := "123456",
547 certificationDataObject := omit,
548 treProperties := omit,
549 treProductReference := omit,
550 additionalEuiccProfilePackageVersions := omit
551}
552
553/* GSMA SGP.22, section 5.7.10 (ES10x) */
554template (value) RetrieveNotificationsListResponse
555ts_retrieveNotificationsListResponse := {
556 notificationList := {
557 {
558 profileInstallationResult := {
559 profileInstallationResultData := {
560 transactionId := 'AABBCC'O,
561 notificationMetadata := {
562 seqNumber := 1234,
563 profileManagementOperation := '01'B, /* is this correct? (notificationInstall) */
564 notificationAddress := "smdp.example.com",
565 iccid := omit
566 },
567 smdpOid := id_rsp, /* random OBJECT IDENTIFIER for testing */
568 finalResult := {
569 successResult := {
570 aid := 'A0000005591010FFFFFFFF8900000D00'O,
571 simaResponse := 'AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA'O
572 }
573 }
574 },
575 euiccSignPIR := 'BBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBB'O
576 }
577 }
578 }
579}
580
581/* GSMA SGP.22, section 5.7.11 (ES10x) */
582template (present) NotificationSentResponse
583tr_notificationSentResponse := {
584 deleteNotificationStatus := ?
585}
586template (value) NotificationSentResponse
587ts_notificationSentResponse := {
588 deleteNotificationStatus := 0 /* 0k */
589}
590
591/* GSMA SGP.22, section 5.7.13 (ES10x) */
592template (present) AuthenticateServerResponse
593tr_authenticateServerResponse := {
594 authenticateResponseOk := {
595 euiccSigned1 := {
596 transactionId := ?,
597 serverAddress := ?,
598 serverChallenge := ?,
599 euiccInfo2 := ?,
Philipp Maierd7ccd012024-04-30 11:03:53 +0200[diff] [blame]600 ctxParams1 := tr_ctxParams1
Philipp Maier08902cf2024-03-04 10:32:55 +0100[diff] [blame]601 },
602 euiccSignature1 := ?,
603 euiccCertificate := ?,
604 eumCertificate := ?
605 }
606}
607template (value) AuthenticateServerResponse
608ts_authenticateServerResponse := {
609 authenticateResponseOk := {
610 euiccSigned1 := {
611 transactionId := 'ABCDEF'O,
612 serverAddress := "smdp.example.com",
613 serverChallenge := '01020304050607080910111213141516'O,
614 euiccInfo2 := ts_EUICCInfo2,
Philipp Maierd7ccd012024-04-30 11:03:53 +0200[diff] [blame]615 ctxParams1 := ts_ctxParams1
Philipp Maier08902cf2024-03-04 10:32:55 +0100[diff] [blame]616 },
617 euiccSignature1 := '12345678'O,
618 euiccCertificate := ts_cert_euicc_nist,
619// euiccCertificate := ts_cert_euicc_brp,
620 eumCertificate := ts_cert_eum_nist
621// eumCertificate := ts_cert_eum_brp
622
623 }
624}
625
626/* GSMA SGP.22, section 5.7.13 (ES10x) */
627template (present) CancelSessionResponseOk
628tr_cancelSessionResponseOk := {
629 euiccCancelSessionSigned := {
630 transactionId := ?,
631 smdpOid := ?,
632 reason := ?
633 },
634 euiccCancelSessionSignature := ?
635}
636template (value) CancelSessionResponseOk
637ts_cancelSessionResponseOk := {
638 euiccCancelSessionSigned := {
639 transactionId := 'AABBCC'O,
640 smdpOid := id_rspRole_euicc,
641 reason := 5
642 },
643 euiccCancelSessionSignature := '1234567890'O
644}
645template (present) CancelSessionResponse
646tr_cancelSessionResponse := {
647 cancelSessionResponseOk := tr_cancelSessionResponseOk
648}
649template (value) CancelSessionResponse
650ts_cancelSessionResponse := {
651 cancelSessionResponseOk := ts_cancelSessionResponseOk
652}
653
654/* GSMA SGP.22, section 5.7.20 (ES10x) */
655template (present) GetEuiccDataResponse
656tr_getEuiccDataResponse := {
657 eidValue := ?
658}
659template (value) GetEuiccDataResponse
660ts_getEuiccDataResponse(template (value) octetstring eidValue := '000102030405060708090A0B0C0D0E0F'O) := {
661 eidValue := eidValue
662}
663
Philipp Maier746f43e2024-04-29 12:17:12 +0200[diff] [blame]664}