Skip to content
GitLab
Commits (2)
Hide whitespace changes
Inline Side-by-side
ttcn/Http/LibItsHttp_BinaryMessageBodyTypes.ttcn
View file @ 00f08fdf
/** /**
* @author ETSI / STF545 * @author ETSI / STF545
* @version $URL$ * @version $URL$
* $ID:$ * $ID:$
* @desc This module provides the custom binary types for ITS HTTP based protocols. * @desc This module provides the custom binary types for ITS HTTP based protocols.
* @copyright ETSI Copyright Notification * @copyright ETSI Copyright Notification
* No part may be reproduced except as authorized by written permission. * No part may be reproduced except as authorized by written permission.
* The copyright and the foregoing restriction extend to reproduction in all media. * The copyright and the foregoing restriction extend to reproduction in all media.
* All rights reserved. * All rights reserved.
*/ */
module LibItsHttp_BinaryMessageBodyTypes { module LibItsHttp_BinaryMessageBodyTypes {
/** /**
* This file volontary contains a trivial declaration of the type BinaryBodu. * This file volontary contains a trivial declaration of the type BinaryBodu.
* In accordance with your TTCN-3 module LibItsHttp_XMLTypes, you have to change the BinaryBody typing. * In accordance with your TTCN-3 module LibItsHttp_XMLTypes, you have to change the BinaryBody typing.
*/ */
// TODO Add here your custom binary import // TODO Add here your custom binary import
// LibIts
type union BinaryBody { import from IEEE1609dot2BaseTypes language "ASN.1:1997" all;
// TODO Add here your custom variants import from IEEE1609dot2 language "ASN.1:1997" all;
octetstring raw import from EtsiTs102941BaseTypes language "ASN.1:1997" all;
} with { import from EtsiTs102941TypesEnrolment language "ASN.1:1997" all;
variant "" import from EtsiTs102941MessagesItss language "ASN.1:1997" all;
} import from EtsiTs103097Module language "ASN.1:1997" all;
} // End of LibItsHttp_BinaryMessageBodyTypes type union BinaryBody {
// TODO Add here your custom variants
InnerEcRequest innerEcRequest,
InnerEcResponse innerEcResponse,
octetstring raw
} with {
variant ""
}
} // End of LibItsHttp_BinaryMessageBodyTypes
ttcn/Http/LibItsHttp_BinaryTemplates.ttcn
View file @ 00f08fdf
/** /**
* @author ETSI / STF545 * @author ETSI / STF545
* @version $URL$ * @version $URL$
* $ID:$ * $ID:$
* @desc This module provides the custom templates for ITS HTTP based protocols. * @desc This module provides the custom templates for ITS HTTP based protocols.
* @copyright ETSI Copyright Notification * @copyright ETSI Copyright Notification
* No part may be reproduced except as authorized by written permission. * No part may be reproduced except as authorized by written permission.
* The copyright and the foregoing restriction extend to reproduction in all media. * The copyright and the foregoing restriction extend to reproduction in all media.
* All rights reserved. * All rights reserved.
*/ */
module LibItsHttp_BinaryTemplates { module LibItsHttp_BinaryTemplates {
// LibItsHttp // LibItsHttp
import from LibItsHttp_BinaryMessageBodyTypes all; import from LibItsHttp_BinaryMessageBodyTypes all;
// TODO Add here your custom binary import // TODO Add here your custom binary import
// LibIts
template (value) BinaryBody m_binary_body_raw( import from IEEE1609dot2BaseTypes language "ASN.1:1997" all;
in template (value) octetstring p_raw import from IEEE1609dot2 language "ASN.1:1997" all;
) := { import from EtsiTs102941BaseTypes language "ASN.1:1997" all;
raw := p_raw import from EtsiTs102941TypesEnrolment language "ASN.1:1997" all;
} // End of template m_binary_body_raw import from EtsiTs102941MessagesItss language "ASN.1:1997" all;
import from EtsiTs103097Module language "ASN.1:1997" all;
template (present) BinaryBody mw_binary_body_raw(
template (present) octetstring p_raw := ? template (value) BinaryBody m_binary_body_raw(
) := { in template (value) octetstring p_raw
raw := p_raw ) := {
} // End of template mw_binary_body_raw raw := p_raw
} // End of template m_binary_body_raw
// TODO Add here your custom binary template
template (present) BinaryBody mw_binary_body_raw(
} // End of module LibItsHttp_BinaryTemplates template (present) octetstring p_raw := ?
) := {
raw := p_raw
} // End of template mw_binary_body_raw
// TODO Add here your custom binary template
template (value) BinaryBody m_binary_body_innerEcRequest(
in template (value) InnerEcRequest p_innerEcRequest
) := {
innerEcRequest := p_innerEcRequest
} // End of template m_binary_body_innerEcRequest
template (present) BinaryBody mw_binary_body_innerEcRequest(
template (present) InnerEcRequest p_innerEcRequest := ?
) := {
innerEcRequest := p_innerEcRequest
} // End of template mw_binary_body_innerEcRequest
template (present) BinaryBody mw_binary_body_innerEcResponse(
template (present) InnerEcResponse p_innerEcResponse := ?
) := {
innerEcResponse := p_innerEcResponse
} // End of template mw_binary_body_innerEcResponse
} // End of module LibItsHttp_BinaryTemplates
ttcn/Pki/LibItsPki_Templates.ttcn
View file @ 00f08fdf
/** /**
* @author ETSI / STF545 * @author ETSI / STF545
* @version $URL$ * @version $URL$
* $Id$ * $Id$
* @desc Module containing templates for IT PKI Protocol * @desc Module containing templates for IT PKI Protocol
* @copyright ETSI Copyright Notification * @copyright ETSI Copyright Notification
* No part may be reproduced except as authorized by written permission. * No part may be reproduced except as authorized by written permission.
* The copyright and the foregoing restriction extend to reproduction in all media. * The copyright and the foregoing restriction extend to reproduction in all media.
* All rights reserved. * All rights reserved.
* *
*/ */
module LibItsPki_Templates { module LibItsPki_Templates {
// LibCommon // LibCommon
import from LibCommon_BasicTypesAndValues all; import from LibCommon_BasicTypesAndValues all;
import from LibCommon_DataStrings all; import from LibCommon_DataStrings all;
// LibItsCommon // LibItsCommon
import from LibItsCommon_TypesAndValues all; import from LibItsCommon_TypesAndValues all;
import from LibItsCommon_Functions all; import from LibItsCommon_Functions all;
import from LibItsCommon_TypesAndValues all; import from LibItsCommon_TypesAndValues all;
import from LibItsCommon_ASN1_NamedNumbers all; import from LibItsCommon_ASN1_NamedNumbers all;
// LibIts // LibIts
import from IEEE1609dot2BaseTypes language "ASN.1:1997" all; import from IEEE1609dot2BaseTypes language "ASN.1:1997" all;
import from IEEE1609dot2 language "ASN.1:1997" all; import from IEEE1609dot2 language "ASN.1:1997" all;
import from EtsiTs102941BaseTypes language "ASN.1:1997" all; import from EtsiTs102941BaseTypes language "ASN.1:1997" all;
import from EtsiTs102941TypesEnrolment language "ASN.1:1997" all; import from EtsiTs102941TypesEnrolment language "ASN.1:1997" all;
import from EtsiTs102941MessagesItss language "ASN.1:1997" all; import from EtsiTs102941MessagesItss language "ASN.1:1997" all;
import from EtsiTs103097Module language "ASN.1:1997" all; import from EtsiTs103097Module language "ASN.1:1997" all;
// LibItsSecurity // LibItsSecurity
import from LibItsSecurity_Templates all; import from LibItsSecurity_Templates all;
template (value) EnrolmentRequestMessage m_enrolmentRequestMessage( template (value) EnrolmentRequestMessage m_enrolmentRequestMessage(
in template (value) EncryptedData p_encryptedData in template (value) EncryptedData p_encryptedData
) modifies m_etsiTs103097Data_encrypted := { ) modifies m_etsiTs103097Data_encrypted := {
} // End of template m_enrolmentRequestMessage } // End of template m_enrolmentRequestMessage
template (present) EnrolmentRequestMessage mw_enrolmentResponseMessage( template (present) EnrolmentRequestMessage mw_enrolmentResponseMessage(
template (present) EncryptedData p_encryptedData := ? template (present) EncryptedData p_encryptedData := ?
) modifies mw_etsiTs103097Data_encrypted := { ) modifies mw_etsiTs103097Data_encrypted := {
} // End of template mw_enrolmentResponseMessage } // End of template mw_enrolmentResponseMessage
template (value) EtsiTs102941DataContent m_enrolmentRequest( template (value) EtsiTs102941DataContent m_enrolmentRequest(
in template (value) InnerEcRequestSignedForPop p_enrolmentRequest in template (value) InnerEcRequestSignedForPop p_enrolmentRequest
) := { ) := {
enrolmentRequest := p_enrolmentRequest enrolmentRequest := p_enrolmentRequest
} // End of template m_enrolmentRequest } // End of template m_enrolmentRequest
template (present) EtsiTs102941DataContent mw_enrolmentResponse( template (present) EtsiTs102941DataContent mw_enrolmentResponse(
template (present) InnerEcResponse p_enrolmentResponse template (present) InnerEcResponse p_enrolmentResponse
) := { ) := {
enrolmentResponse := p_enrolmentResponse enrolmentResponse := p_enrolmentResponse
} // End of template mw_enrolmentResponse } // End of template mw_enrolmentResponse
template (value) InnerEcRequest m_innerEcRequest( template (value) InnerEcRequest m_innerEcRequest(
in template (value) charstring p_itsId, in template (value) charstring p_itsId,
in template (value) PublicKeys p_publicKeys, in template (value) PublicKeys p_publicKeys,
in template (value) CertificateSubjectAttributes p_requestedSubjectAttributes //(WITH COMPONENTS{certIssuePermissions ABSENT}), in template (value) CertificateSubjectAttributes p_requestedSubjectAttributes //(WITH COMPONENTS{certIssuePermissions ABSENT}),
) := { ) := {
itsId := p_itsId, itsId := p_itsId,
certificateFormat := 1, certificateFormat := 1,
publicKeys := p_publicKeys, publicKeys := p_publicKeys,
requestedSubjectAttributes := p_requestedSubjectAttributes requestedSubjectAttributes := p_requestedSubjectAttributes
} // End of template m_innerEcRequest } // End of template m_innerEcRequest
template (omit) PublicKeys m_publicKeys( template (omit) PublicKeys m_publicKeys(
in template (value) PublicVerificationKey p_verificationKey, in template (value) PublicVerificationKey p_verificationKey,
in template (omit) PublicEncryptionKey p_encryptionKey := omit in template (omit) PublicEncryptionKey p_encryptionKey := omit
) := { ) := {
verificationKey := p_verificationKey, verificationKey := p_verificationKey,
encryptionKey := p_encryptionKey encryptionKey := p_encryptionKey
} // End of template m_publicKeys } // End of template m_publicKeys
template PublicKeys mw_publicKeys( template PublicKeys mw_publicKeys(
template (present) PublicVerificationKey p_verificationKey := ?, template (present) PublicVerificationKey p_verificationKey := ?,
template PublicEncryptionKey p_encryptionKey := * template PublicEncryptionKey p_encryptionKey := *
) := { ) := {
verificationKey := p_verificationKey, verificationKey := p_verificationKey,
encryptionKey := p_encryptionKey encryptionKey := p_encryptionKey
} // End of template mw_publicKeys } // End of template mw_publicKeys
template (omit) CertificateSubjectAttributes m_certificateSubjectAttributes( template (omit) CertificateSubjectAttributes m_certificateSubjectAttributes(
in template (value) SequenceOfPsidSsp p_appPermissions, in template (value) SequenceOfPsidSsp p_appPermissions,
in template (omit) ValidityPeriod p_validityPeriod := omit, in template (omit) ValidityPeriod p_validityPeriod := omit,
in template (omit) GeographicRegion p_region := omit, in template (omit) GeographicRegion p_region := omit,
in template (omit) SubjectAssurance p_assuranceLevel := omit in template (omit) SubjectAssurance p_assuranceLevel := omit
) := { ) := {
id := { none_ := NULL }, id := { none_ := NULL },
validityPeriod := p_validityPeriod, validityPeriod := p_validityPeriod,
region := p_region, region := p_region,
assuranceLevel := p_assuranceLevel, assuranceLevel := p_assuranceLevel,
appPermissions := p_appPermissions, appPermissions := p_appPermissions,
certIssuePermissions := omit certIssuePermissions := omit
} // End of template m_certificateSubjectAttributes } // End of template m_certificateSubjectAttributes
template (value) InnerEcResponse m_innerEcResponse_ok( template (value) InnerEcResponse m_innerEcResponse_ok(
in template (value) Oct16 p_requestHash, in template (value) Oct16 p_requestHash,
in template (value) EtsiTs103097Certificate p_certificate in template (value) EtsiTs103097Certificate p_certificate
) := { ) := {
requestHash := p_requestHash, requestHash := p_requestHash,
responseCode := ok, responseCode := ok,
certificate := p_certificate certificate := p_certificate
} // End of template m_innerEcResponse } // End of template m_innerEcResponse_ok
template (value) InnerEcResponse m_innerEcResponse_ko( template (present) InnerEcResponse mw_innerEcResponse_ok(
in template (value) Oct16 p_requestHash, template (present) Oct16 p_requestHash := ?,
in template (value) EnrolmentResponseCode p_responseCode template (present) EtsiTs103097Certificate p_certificate := ?
) := { ) := {
requestHash := p_requestHash, requestHash := p_requestHash,
responseCode := p_responseCode, responseCode := ok,
certificate := omit certificate := p_certificate
} // End of template m_innerEcResponse } // End of template mw_innerEcResponse_ok
template (value) InnerEcResponse m_innerEcResponse_ko(
in template (value) Oct16 p_requestHash,
in template (value) EnrolmentResponseCode p_responseCode
) := {
requestHash := p_requestHash,
responseCode := p_responseCode,
certificate := omit
} // End of template m_innerEcResponse_ko
template (present) InnerEcResponse mw_innerEcResponse_ko(
template (present) Oct16 p_requestHash := ?,
template (present) EnrolmentResponseCode p_responseCode := complement(ok)
) := {
requestHash := p_requestHash,
responseCode := p_responseCode,
certificate := *
} // End of template mw_innerEcResponse_ko
} // End of module LibItsPki_Templates } // End of module LibItsPki_Templates
\ No newline at end of file