Loading ttcn/Security/LibItsSecurity_Templates.ttcn3 +13 −156 Original line number Original line Diff line number Diff line Loading @@ -19,34 +19,11 @@ module LibItsSecurity_Templates { Bit2, Bit3 Bit2, Bit3 } } // // LibIts // import from CAM_PDU_Descriptions language "ASN.1:1997" { // type CAM // } // import from DENM_PDU_Descriptions language "ASN.1:1997" { // type DENM // } // // LibItsSecurity // LibItsSecurity import from LibItsSecurity_TypesAndValues all; import from LibItsSecurity_TypesAndValues all; import from LibItsSecurity_Pixits all; import from LibItsSecurity_Pixits all; // import from LibItsSecurity_TestSystem { // type // GnSecurityReq, GnSecurityInd // } // template (value) GnSecurityReq m_gnSecurityReq( // in template (value) SecuredMessage p_msgReq // ) := { // msgReq := p_msgReq // } // End of template m_gnSecurityReq // // template (present) GnSecurityInd mw_gnSecurityInd( // in template (present) SecuredMessage p_msgInd // ) := { // msgInd := p_msgInd // } // End of template mw_gnSecurityIng // /** /** * @desc Constants declaration * @desc Constants declaration */ */ Loading Loading @@ -280,6 +257,12 @@ module LibItsSecurity_Templates { */ */ group signatures { group signatures { /** * @desc Send template for signatures based on ECDSA algorithm * @member algorithm Algorithm type * @member p_ecdsaSignature The ECDSA based signature * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.7 EncryptionParameters */ template (value) Signature m_signature( template (value) Signature m_signature( in template (value) EcdsaSignature p_ecdsaSignature in template (value) EcdsaSignature p_ecdsaSignature ):= { ):= { Loading @@ -289,6 +272,12 @@ module LibItsSecurity_Templates { } // End of field signature_ } // End of field signature_ } // End of template m_signature_ecdsa } // End of template m_signature_ecdsa /** * @desc Send template for ECDSA based signature * @member algorithm Algorithm type * @member p_r The coordinate of the elliptic curve point resulting from multiplying the generator element by the ephemeral private key * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.7 EncryptionParameters */ template (value) EcdsaSignature m_ecdsaSignature( template (value) EcdsaSignature m_ecdsaSignature( in template (value) EccPoint p_r in template (value) EccPoint p_r ) := { ) := { Loading Loading @@ -818,138 +807,6 @@ module LibItsSecurity_Templates { } // End of group payloadsRecv } // End of group payloadsRecv // group camPayloads { // // group camPayloadsSend { // // template (value) Payload m_payload_unsecured_cam( // in template (value) CAM p_camPayload // ) := { // type_ := e_unsecured, // data := { // camPayload := p_camPayload // } // End of field data // } // End of template m_payload_unsecured_cam // // template (value) Payload md_payload_signed_cam( // in template (value) CAM p_camPayload // ) modifies m_payload_unsecured_cam := { // type_ := e_signed // } // End of template md_payload_signed_cam // // template (value) Payload md_payload_encrypted_cam( // in template (value) CAM p_camPayload // ) modifies m_payload_unsecured_cam := { // type_ := e_encrypted // } // End of template md_payload_encrypted_cam // // template (value) Payload md_payload_signed_encrypted_cam( // in template (value) CAM p_camPayload // ) modifies m_payload_unsecured_cam := { // type_ := e_signed_and_encrypted // } // End of template md_payload_signed_encrypted_cam // // template (present) Payload mw_payload_unsecured_cam( // in template (present) CAM p_camPayload // ) := { // type_ := e_unsecured, // data := { // camPayload := p_camPayload // } // End of field data // } // End of template mw_payload_unsecured_cam // // } // End of group camPayloadsSend // // group camPayloadsRecv { // // template (present) Payload mdw_payload_signed_cam( // in template (present) CAM p_camPayload // ) modifies mw_payload_unsecured_cam := { // type_ := e_signed // } // End of template mdw_payload_signed_cam // // template (present) Payload mdw_payload_encrypted_cam( // in template (present) CAM p_camPayload // ) modifies mw_payload_unsecured_cam := { // type_ := e_encrypted // } // End of template mdw_payload_encrypted_cam // // template (present) Payload mdw_payload_signed_encrypted_cam( // in template (present) CAM p_camPayload // ) modifies mw_payload_unsecured_cam := { // type_ := e_signed_and_encrypted // } // End of template mdw_payload_signed_encrypted_cam // // } // End of group camPayloadsRecv // // } // End of group camPayloads // // group denmPayloads { // // group denmPayloadsSend { // // template (value) Payload m_payload_unsecured_denm( // in template (value) DENM p_denmPayload // ) := { // type_ := e_unsecured, // data := { // denmPayload := p_denmPayload // } // End of field data // } // End of template m_payload_unsecured_denm // // template (value) Payload md_payload_signed_denm( // in template (value) DENM p_denmPayload // ) modifies m_payload_unsecured_denm := { // type_ := e_signed // } // End of template md_payload_signed_denm // // template (value) Payload md_payload_encrypted_denm( // in template (value) DENM p_denmPayload // ) modifies m_payload_unsecured_denm := { // type_ := e_encrypted // } // End of template md_payload_encrypted_denm // // template (value) Payload md_payload_signed_encrypted_denm( // in template (value) DENM p_denmPayload // ) modifies m_payload_unsecured_denm := { // type_ := e_signed_and_encrypted // } // End of template md_payload_signed_encrypted_denm // // } // End of group denmPayloadsSend // // group denmPayloadsRecv { // // template (present) Payload mw_payload_unsecured_denm( // in template (present) DENM p_denmPayload // ) := { // type_ := e_unsecured, // data := { // denmPayload := p_denmPayload // } // End of field data // } // End of template mw_payload_unsecured_denm // // template (present) Payload mdw_payload_signed_denm( // in template (present) DENM p_denmPayload // ) modifies mw_payload_unsecured_denm := { // type_ := e_signed // } // End of template mdw_payload_signed_denm // // template (present) Payload mdw_payload_encrypted_denm( // in template (present) DENM p_denmPayload // ) modifies mw_payload_unsecured_denm := { // type_ := e_encrypted // } // End of template mdw_payload_encrypted_denm // // template (present) Payload mdw_payload_signed_encrypted_denm( // in template (present) DENM p_denmPayload // ) modifies mw_payload_unsecured_denm := { // type_ := e_signed_and_encrypted // } // End of template mdw_payload_signed_encrypted_denm // // } // End of group denmPayloadsRecv // // } // End of group denmPayloads // } // End of group payloads } // End of group payloads /** /** Loading Loading
ttcn/Security/LibItsSecurity_Templates.ttcn3 +13 −156 Original line number Original line Diff line number Diff line Loading @@ -19,34 +19,11 @@ module LibItsSecurity_Templates { Bit2, Bit3 Bit2, Bit3 } } // // LibIts // import from CAM_PDU_Descriptions language "ASN.1:1997" { // type CAM // } // import from DENM_PDU_Descriptions language "ASN.1:1997" { // type DENM // } // // LibItsSecurity // LibItsSecurity import from LibItsSecurity_TypesAndValues all; import from LibItsSecurity_TypesAndValues all; import from LibItsSecurity_Pixits all; import from LibItsSecurity_Pixits all; // import from LibItsSecurity_TestSystem { // type // GnSecurityReq, GnSecurityInd // } // template (value) GnSecurityReq m_gnSecurityReq( // in template (value) SecuredMessage p_msgReq // ) := { // msgReq := p_msgReq // } // End of template m_gnSecurityReq // // template (present) GnSecurityInd mw_gnSecurityInd( // in template (present) SecuredMessage p_msgInd // ) := { // msgInd := p_msgInd // } // End of template mw_gnSecurityIng // /** /** * @desc Constants declaration * @desc Constants declaration */ */ Loading Loading @@ -280,6 +257,12 @@ module LibItsSecurity_Templates { */ */ group signatures { group signatures { /** * @desc Send template for signatures based on ECDSA algorithm * @member algorithm Algorithm type * @member p_ecdsaSignature The ECDSA based signature * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.7 EncryptionParameters */ template (value) Signature m_signature( template (value) Signature m_signature( in template (value) EcdsaSignature p_ecdsaSignature in template (value) EcdsaSignature p_ecdsaSignature ):= { ):= { Loading @@ -289,6 +272,12 @@ module LibItsSecurity_Templates { } // End of field signature_ } // End of field signature_ } // End of template m_signature_ecdsa } // End of template m_signature_ecdsa /** * @desc Send template for ECDSA based signature * @member algorithm Algorithm type * @member p_r The coordinate of the elliptic curve point resulting from multiplying the generator element by the ephemeral private key * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.7 EncryptionParameters */ template (value) EcdsaSignature m_ecdsaSignature( template (value) EcdsaSignature m_ecdsaSignature( in template (value) EccPoint p_r in template (value) EccPoint p_r ) := { ) := { Loading Loading @@ -818,138 +807,6 @@ module LibItsSecurity_Templates { } // End of group payloadsRecv } // End of group payloadsRecv // group camPayloads { // // group camPayloadsSend { // // template (value) Payload m_payload_unsecured_cam( // in template (value) CAM p_camPayload // ) := { // type_ := e_unsecured, // data := { // camPayload := p_camPayload // } // End of field data // } // End of template m_payload_unsecured_cam // // template (value) Payload md_payload_signed_cam( // in template (value) CAM p_camPayload // ) modifies m_payload_unsecured_cam := { // type_ := e_signed // } // End of template md_payload_signed_cam // // template (value) Payload md_payload_encrypted_cam( // in template (value) CAM p_camPayload // ) modifies m_payload_unsecured_cam := { // type_ := e_encrypted // } // End of template md_payload_encrypted_cam // // template (value) Payload md_payload_signed_encrypted_cam( // in template (value) CAM p_camPayload // ) modifies m_payload_unsecured_cam := { // type_ := e_signed_and_encrypted // } // End of template md_payload_signed_encrypted_cam // // template (present) Payload mw_payload_unsecured_cam( // in template (present) CAM p_camPayload // ) := { // type_ := e_unsecured, // data := { // camPayload := p_camPayload // } // End of field data // } // End of template mw_payload_unsecured_cam // // } // End of group camPayloadsSend // // group camPayloadsRecv { // // template (present) Payload mdw_payload_signed_cam( // in template (present) CAM p_camPayload // ) modifies mw_payload_unsecured_cam := { // type_ := e_signed // } // End of template mdw_payload_signed_cam // // template (present) Payload mdw_payload_encrypted_cam( // in template (present) CAM p_camPayload // ) modifies mw_payload_unsecured_cam := { // type_ := e_encrypted // } // End of template mdw_payload_encrypted_cam // // template (present) Payload mdw_payload_signed_encrypted_cam( // in template (present) CAM p_camPayload // ) modifies mw_payload_unsecured_cam := { // type_ := e_signed_and_encrypted // } // End of template mdw_payload_signed_encrypted_cam // // } // End of group camPayloadsRecv // // } // End of group camPayloads // // group denmPayloads { // // group denmPayloadsSend { // // template (value) Payload m_payload_unsecured_denm( // in template (value) DENM p_denmPayload // ) := { // type_ := e_unsecured, // data := { // denmPayload := p_denmPayload // } // End of field data // } // End of template m_payload_unsecured_denm // // template (value) Payload md_payload_signed_denm( // in template (value) DENM p_denmPayload // ) modifies m_payload_unsecured_denm := { // type_ := e_signed // } // End of template md_payload_signed_denm // // template (value) Payload md_payload_encrypted_denm( // in template (value) DENM p_denmPayload // ) modifies m_payload_unsecured_denm := { // type_ := e_encrypted // } // End of template md_payload_encrypted_denm // // template (value) Payload md_payload_signed_encrypted_denm( // in template (value) DENM p_denmPayload // ) modifies m_payload_unsecured_denm := { // type_ := e_signed_and_encrypted // } // End of template md_payload_signed_encrypted_denm // // } // End of group denmPayloadsSend // // group denmPayloadsRecv { // // template (present) Payload mw_payload_unsecured_denm( // in template (present) DENM p_denmPayload // ) := { // type_ := e_unsecured, // data := { // denmPayload := p_denmPayload // } // End of field data // } // End of template mw_payload_unsecured_denm // // template (present) Payload mdw_payload_signed_denm( // in template (present) DENM p_denmPayload // ) modifies mw_payload_unsecured_denm := { // type_ := e_signed // } // End of template mdw_payload_signed_denm // // template (present) Payload mdw_payload_encrypted_denm( // in template (present) DENM p_denmPayload // ) modifies mw_payload_unsecured_denm := { // type_ := e_encrypted // } // End of template mdw_payload_encrypted_denm // // template (present) Payload mdw_payload_signed_encrypted_denm( // in template (present) DENM p_denmPayload // ) modifies mw_payload_unsecured_denm := { // type_ := e_signed_and_encrypted // } // End of template mdw_payload_signed_encrypted_denm // // } // End of group denmPayloadsRecv // // } // End of group denmPayloads // } // End of group payloads } // End of group payloads /** /** Loading