Commit ec46bc0c authored by garciay's avatar garciay
Browse files

TTCN-3 typing for Draft ETSI TS 103 097 V1.1.6 Clause 6

parent 58b22d2f
Loading
Loading
Loading
Loading
+7 −7
Original line number Original line Diff line number Diff line
@@ -19,37 +19,37 @@ module LibItsSecurity_Pixits {
    }
    }
    
    
    /**
    /**
     * 
     * @desc TODO
     */
     */
    modulepar octetstring PX_ECDSA_X_COORDINATE := 'CAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECA'O;
    modulepar octetstring PX_ECDSA_X_COORDINATE := 'CAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECA'O;
    
    
    /**
    /**
     * 
     * @desc TODO
     */
     */
    modulepar octetstring PX_ECDSA_Y_COORDINATE := 'CAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECA'O;
    modulepar octetstring PX_ECDSA_Y_COORDINATE := 'CAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECA'O;
    
    
    /**
    /**
     * 
     * @desc TODO
     */
     */
    modulepar octetstring PX_ECDSA_S := 'CAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECA'O;
    modulepar octetstring PX_ECDSA_S := 'CAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECA'O;
    
    
    /**
    /**
     * 
     * @desc TODO
     */
     */
    modulepar octetstring PX_AESCCM_X_COORDINATE := 'CAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECA'O;
    modulepar octetstring PX_AESCCM_X_COORDINATE := 'CAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECA'O;
    
    
    /**
    /**
     * 
     * @desc TODO
     */
     */
    modulepar octetstring PX_AESCCM_Y_COORDINATE := 'CAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECA'O;
    modulepar octetstring PX_AESCCM_Y_COORDINATE := 'CAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECACAFEDECA'O;
    
    
    /**
    /**
     * @desc 
     * @desc TODO
     */
     */
    modulepar HashedId8 PX_ECDSA_DIGEST := '0102030405060708'O;
    modulepar HashedId8 PX_ECDSA_DIGEST := '0102030405060708'O;
    
    
    /**
    /**
     * @desc 
     * @desc TODO
     */
     */
    modulepar Oct12 PX_AESCCM_NONCE  := '010203040506070808080808'O;
    modulepar Oct12 PX_AESCCM_NONCE  := '010203040506070808080808'O;
    
    
+322 −123

File changed.

Preview size limit exceeded, changes collapsed.

+10 −5
Original line number Original line Diff line number Diff line
@@ -461,15 +461,17 @@ module LibItsSecurity_TypesAndValues {
            Time64WithStandardDeviation     generation_time_with_standard_deviation,
            Time64WithStandardDeviation     generation_time_with_standard_deviation,
            Time32                          expiry_time,
            Time32                          expiry_time,
            ThreeDLocation                  generation_location,
            ThreeDLocation                  generation_location,
            HashedId3                       digests,
            HashedId3s                      digests,
            UInt16                          message_type,
            UInt16                          message_type,
            SignerInfo                      signer,
            SignerInfo                      signer,
            RecipientInfo                   recipient,
            RecipientInfos                  recipients,
            EncryptionParameters            enc_params,
            EncryptionParameters            enc_params,
            octetstring                     other_header
            octetstring                     other_header
        } // End of type HeaderFieldContainer
        } // End of type HeaderFieldContainer
        
        
        type record of Payload Payloads;
        type record of HashedId3 HashedId3s;
        
        type record of RecipientInfo RecipientInfos;
        
        
        /**
        /**
         * @desc Payload structure
         * @desc Payload structure
@@ -484,6 +486,8 @@ module LibItsSecurity_TypesAndValues {
//            PayloadContainer    data optional
//            PayloadContainer    data optional
        } // End of type Payload
        } // End of type Payload
        
        
        type record of Payload Payloads;
        
//        /**
//        /**
//         * @desc Payload data container
//         * @desc Payload data container
//         * @member camPayload   CAM message
//         * @member camPayload   CAM message
@@ -568,8 +572,9 @@ module LibItsSecurity_TypesAndValues {
         * @member symm_alg     The algorithm 
         * @member symm_alg     The algorithm 
         * @member symm_key_len The length of vector c containing the encrypted (AES) key 
         * @member symm_key_len The length of vector c containing the encrypted (AES) key 
         * @member v            The sender's ECC ephemeral key used for the Elliptic Curve Encryption Scheme
         * @member v            The sender's ECC ephemeral key used for the Elliptic Curve Encryption Scheme
         * @member c            TODO
         * @member c            The encrypted (AES) key 
         * @member t            TODO
         * @member t            The authentication tag vector
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.9 EciesEncryptedKey
         */
         */
         type record EciesEncryptedKey {
         type record EciesEncryptedKey {
            SymmetricAlgorithm   symm_alg,
            SymmetricAlgorithm   symm_alg,