Skip to content
LibItsSecurity_Templates.ttcn3 94.1 KiB
Newer Older
garciay's avatar
garciay committed
/**
 *  @version  $URL$
 *            $Id$
 *  @desc     Module containing templates for Security Protocol
 *
 */
module LibItsSecurity_Templates {
    
    // LibCommon
    import from LibCommon_BasicTypesAndValues all;
    import from LibCommon_DataStrings all;
garciay's avatar
garciay committed

garciay's avatar
garciay committed
    // LibItsSecurity
    import from LibItsSecurity_TypesAndValues all;
garciay's avatar
garciay committed
    /**
     * @desc Constants declaration
     */
    group constants {
        
        /**
         * @desc Protocol version
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.1 SecuredMessage
         */
        const UInt8 c_protocol_version := 2;
        
        /**
         * @desc Security profile identifier for CAMs
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 7.1 Security profile for CAMs
         */
        const UInt8 c_security_profileCAMs := 1;
        
        /**
         * @desc Security profile identifier for DENMs
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 7.2 Security profile for DENMs
         */
        const UInt8 c_security_profileDENMs := 2;
        
        /**
         * @desc Security profile identifier for other messages
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 7.3 Generic security profile for other signed messages
         */
        const UInt8 c_security_profileOthers := 3;
garciay's avatar
garciay committed
        
        /**
         * @desc Certificate version
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 6.1 Certificate
garciay's avatar
garciay committed
         */
        const UInt8 c_certificate_version := 2;
        /**
         * @desc CAM message type
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 7.1 Security profile for CAMs
         */
        const UInt16 c_messageType_CAM := 2;
        
        /**
         * @desc DENM message type
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 7.2 Security profile for DENMs
         */
        const UInt16 c_messageType_DENM := 1;
        
filatov's avatar
filatov committed
        const Int32 c_minLongitude := -1800000000;
        const Int32 c_maxLongitude :=  1800000000;
        const Int32 c_minLatitude  := -900000000; 
        const Int32 c_maxLatitude  :=  900000000;
        
    } // End of group constants
garciay's avatar
garciay committed
     * @desc Dummy send/receive templates for security headers
     * @see Draft ETSI TS 103 097 V1.1.6 Clause 4   Basic format elements
garciay's avatar
garciay committed
    group dummyBasicFormatElements {
        
garciay's avatar
garciay committed
         * @desc Dummy send templates for security headers
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2    Specification of basic format elements
garciay's avatar
garciay committed
        group dummyBasicFormatElementsSend {
            
garciay's avatar
garciay committed
            /**
garciay's avatar
garciay committed
             * @desc Generic Send/Receive templates for security algorithm descriptions
garciay's avatar
garciay committed
             */
            group dummyAlgorithms {
            } // End of group dummyAlgorithms
            
        } // End of group dummyBasicFormatElementsSend 
        
        /**
         * @desc Dummy receive templates for security headers
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2    Specification of basic format elements
         */
        group dummyBasicFormatElementsRecv {
            
            /**
             * @desc Dummy receive template for PublicKey/EccPoint
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.4    PublicKey
             */
            template (present) PublicKey mw_publicKey_eccPoint_dummy := {
                algorithm   := e_ecdsa_nistp256_with_sha256,
                public_key  := {
                    eccPoint := ?
                } // End of field public_key
            } // End of template PublicKey
            
            /**
             * @desc Dummy send template for PublicKey/AES CCM
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.4    PublicKey
             */
            template (present) PublicKey mw_publicKey_aesccm_dummy := {
                algorithm   := e_ecies_nistp256,
                public_key  := {
                    aesCcm := ?
                } // End of field public_key
garciay's avatar
garciay committed
            } // End of template mw_publicKey_aesccm_dummy
            
            /**
             * @desc Dummy receive template for Time64WithStandardDeviation
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.17    Time64WithStandardDeviation
             */
            template (present) Time64WithStandardDeviation mw_time64WithStandardDeviation_dummy := {
                time        := ?,
                log_std_dev := ?
            } // End of template mw_time64WithStandardDeviation_dummy
            
            /**
             * @desc Dummy receive template for TwoDLocation
             * @param p_latitude    Latitude range from  900 000 000 to +900 000 000
             * @param p_longitude   Longitude range from  1 800 000 000 to +1 800 000 000
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.19    TwoDLocation
             */
            template (present) TwoDLocation mw_twoDLocation_dummy := {
                latitude    := ?,
                longitude   := ?
            } // End of template mw_twoDLocation_dummy
            
            /**
             * @desc Dummy send template for ThreeDLocation
             * @param p_latitude    Latitude range from  900 000 000 to +900 000 000
             * @param p_longitude   Longitude range from  1 800 000 000 to +1 800 000 000
             * @param p_elevation   Elevation relative to the WGS-84 ellipsoid in decimetres
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.20    ThreeDLocation
             */
            template (present) ThreeDLocation mdw_threeDLocation_dummy := {
                latitude    := ?,
                longitude   := ?,
                elevation   := ?
            } // End of template mdw_threeDLocation_dummy
            
            /**
             * @desc Basic receive template rectangular geographic region
             * @param p_northwest  Upper left corner 
             * @param p_southeast  Lower rigth corner
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.21  GeographicRegion
             */
            template (present) GeographicRegion mw_geographicRegion_rectangle_dummy(
                                                                                    in template (present) TwoDLocation p_northwest,
                                                                                    in template (present) TwoDLocation p_southeast
            ) := {
                region_type := e_rectangle,
                region := {
                    rectangular_region := {
                        {
                            northwest := p_northwest,
                            southeast := p_southeast 
                        }
                    } // End of field rectangular_region
                } // End of field region
            } // End of template mw_geographicRegion_rectangle_dummy
            
        } // End of group dummyBasicFormatElementsRecv
        
    } // End of group dummyBasicFormatElements 
    
    /**
     * @desc Send/receive templates for security headers
     * @see Draft ETSI TS 103 097 V1.1.6 Clause 4   Basic format elements
     */
    group basicFormatElements {
        
        /**
         * @desc Send templates for security headers
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2    Specification of basic format elements
         */
        group basicFormatElementsSend {
            
            /**
garciay's avatar
garciay committed
             * @desc Send/Receive templates for security algorithm descriptions
garciay's avatar
garciay committed
                 * @desc Send template for EccPoint description based on x_coordinate_only type
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.5   EccPoint
                 * @see Draft ETSI TS 103 097 V1.1.6 Table 2: Derivation of field sizes depending on the used algorithm
                 */
                template (value) EccPoint m_eccPointecdsa_nistp256_with_sha256_x_coordinate_only(
garciay's avatar
garciay committed
                                                                                                  in template (value) octetstring p_x
                ) := { 
                    type_           := e_x_coordinate_only,
                    x               := p_x,
                    y               := omit
                } // End of template m_eccPointecdsa_nistp256_with_sha256_x_coordinate_only
                
                /**
                 * @desc Send template for EccPoint description based on y_coordinate_only type
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.5   EccPoint
                 * @see Draft ETSI TS 103 097 V1.1.6 Table 2: Derivation of field sizes depending on the used algorithm
                 */
                template (value) EccPoint m_eccPointecdsa_nistp256_with_sha256_y_coordinate_only(
                                                                                                  in template (value) octetstring p_x
                ) := { 
                    type_           := e_compressed_lsb_y_0,
                    x               := p_x,
                    y               := omit
                } // End of template m_eccPointecdsa_nistp256_with_sha256_y_coordinate_only
                
garciay's avatar
garciay committed
                 * @desc Send template for EccPoint description based on uncompressed type
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.5   EccPoint
                 * @see Draft ETSI TS 103 097 V1.1.6 Table 2: Derivation of field sizes depending on the used algorithm
                 */
garciay's avatar
garciay committed
                template (value) EccPoint m_eccPointecdsa_nistp256_with_sha256_uncompressed(
                                                                                            in template (value) octetstring p_x,
                                                                                            in template (value) octetstring p_y
                ) := {
                    type_           := e_uncompressed,
                    x               := p_x,
                    y               := {
                        y := p_y
garciay's avatar
garciay committed
                    }
                } // End of template m_eccPointecdsa_nistp256_with_sha256_uncompressed
                
                /**
                 * @desc Information regarding AES CCM encryption
                 * @param p_eccPoint   The EccPoint used in the PublicKey
                 */
                template (value) AesCcm m_aesccm(
                                                 in template (value) EccPoint p_eccPoint
                ) := {
                    supported_symm_alg  := e_aes_128_ccm,
                    eccPoint            := p_eccPoint
                } // End of template m_aesccm
                
garciay's avatar
garciay committed
                 * @desc Send template for AES CCM encryption parameters
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.7    EncryptionParameters
                 */
                template (value) EncryptionParameters m_encryptionParameters_aes_128_ccm(
                                                                                         in template (value) Oct12 p_nonce
garciay's avatar
garciay committed
                ) := {
                    symm_algorithm := e_aes_128_ccm,
                    public_key := {
                        nonce := p_nonce
                    }
                } // End of template m_encryptionParameters_aes_128_ccm
            } // End of group algorithms
garciay's avatar
garciay committed
            /**
             * @desc Send template for PublicKey/EccPoint
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.4    PublicKey
             */
            template (value) PublicKey m_publicKey_eccPoint(
                                                            in template (value) EccPoint p_eccPoint
            ) := {
                algorithm   := e_ecdsa_nistp256_with_sha256,
                public_key  := {
                    eccPoint := p_eccPoint
                } // End of field public_key
            } // End of template m_publicKey_eccPoint
            
            /**
             * @desc Send template for PublicKey/AES CCM
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.4    PublicKey
             */
            template (value) PublicKey m_publicKey_aesccm(
                                                          in template (value) AesCcm p_aesCcm
            ) := {
                algorithm   := e_ecies_nistp256,
                public_key  := {
                    aesCcm := p_aesCcm
                } // End of field public_key
            } // End of template m_publicKey_aesccm
            
garciay's avatar
garciay committed
            /**
             * @desc Send/receive templates for Signature description
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.9   Signature
garciay's avatar
garciay committed
             * @see Draft ETSI TS 103 097 V1.1.6 Table 2: Derivation of field sizes depending on the used algorithm
garciay's avatar
garciay committed
             */
            group signatures {
                
garciay's avatar
garciay committed
                /**
                 * @desc Send template for signatures based on ECDSA algorithm
                 * @member p_ecdsaSignature The ECDSA based signature
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.9   Signature
garciay's avatar
garciay committed
                 */
garciay's avatar
garciay committed
                template (value) Signature m_signature(
                                                       in template (value) EcdsaSignature p_ecdsaSignature
                ):= {
garciay's avatar
garciay committed
                    algorithm   := e_ecdsa_nistp256_with_sha256,
                    signature_  := {
garciay's avatar
garciay committed
                        ecdsa_signature := p_ecdsaSignature
garciay's avatar
garciay committed
                    } // End of field signature_
                } // End of template m_signature_ecdsa
                
garciay's avatar
garciay committed
                /**
                 * @desc Send template for ECDSA based signature
                 * @member p_r          The coordinate of the elliptic curve point resulting from multiplying the generator element by the ephemeral private key
                 * @member p_s          The signature
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.10   EcdsaSignature
garciay's avatar
garciay committed
                 */
                template (value) EcdsaSignature m_ecdsaSignature(
                                                                 in template (value) EccPoint p_r,
                                                                 in template (value) octetstring p_s
                ) := {
                    r           := p_r,
                    s           := p_s
garciay's avatar
garciay committed
                } // End of template m_ecdsaSignature
                
garciay's avatar
garciay committed
            } // End of group signatures 
            
            group signerInfos {
                
                /**
                 * @desc Send template for self signed message
                 */
                template (value) SignerInfo m_signerInfo_self := {
garciay's avatar
garciay committed
                    type_         := e_self,
                    signerInfo    := omit
                } // End of template m_signerInfo_self
garciay's avatar
garciay committed
                
                /**
                 * @desc Send template for self signed message
                 */
                template (value) SignerInfo m_signerInfo_digest(
garciay's avatar
garciay committed
                                                                in template (value) HashedId8 p_digest
                ) := {
                    type_         := e_certificate_digest_with_ecdsap256,
                    signerInfo    := {
                        digest := p_digest
                    } // End of field signerInfo 
                } // End of template m_signerInfo_digest
garciay's avatar
garciay committed
                
                template (value) SignerInfo m_signerInfo_certificate(
                                                                     in template (value) Certificate p_certificate
                ) := {
                    type_         := e_certificate,
                    signerInfo    := {
                        certificate := p_certificate
                    } // End of field signerInfo 
                } // End of template m_signerInfo_certificate
                
                template (value) SignerInfo m_signerInfo_certificates(
                                                                      in template (value) CertificateChain p_certificates
                ) := {
                    type_         := e_certificate_chain,
                    signerInfo    := {
                        certificates := p_certificates
                    } // End of field signerInfo
                } // End of template m_signerInfo_certificates
                
            } // End of group signerInfos
garciay's avatar
garciay committed
            
garciay's avatar
garciay committed
            /**
             * @desc Send template for Time64WithStandardDeviation
             * @param p_time        TODO
             * @param p_log_std_dev TODO
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.17    Time64WithStandardDeviation
             */
            template (value) Time64WithStandardDeviation m_time64WithStandardDeviation(
                                                                                       in template (value) Time64 p_time,
                                                                                       in template (value) UInt8 p_log_std_dev
            ) := {
                time        := p_time,
                log_std_dev := p_log_std_dev
            } // End of template m_time64WithStandardDeviation
            
            /**
             * @desc Send template for Duration (in seconds)
             * @param p_duration    The duration value
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.18  Duration
             */
            template (value) Duration m_duration_in_seconds(
                                                            in template (value) Int13 p_duration
            ) := {
                unit        := e_seconds,
                duration    := p_duration
            } // End of template m_duration_in_seconds
            
garciay's avatar
garciay committed
            /**
             * @desc Send template for TwoDLocation
             * @param p_latitude    Latitude range from  900 000 000 to +900 000 000
             * @param p_longitude   Longitude range from  1 800 000 000 to +1 800 000 000
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.19    TwoDLocation
             */
            template (value) TwoDLocation m_twoDLocation(
                                                         in template (value) Int32 p_latitude,
                                                         in template (value) Int32 p_longitude
            ) := {
                latitude    := p_latitude,
                longitude   := p_longitude
            } // End of template m_twoDLocation
            
            /**
             * @desc Send template for ThreeDLocation
             * @param p_latitude    Latitude range from  900 000 000 to +900 000 000
             * @param p_longitude   Longitude range from  1 800 000 000 to +1 800 000 000
             * @param p_elevation   Elevation relative to the WGS-84 ellipsoid in decimetres
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.20    ThreeDLocation
             */
            template (value) ThreeDLocation m_threeDLocation(
                                                             in template (value) Int32 p_latitude,
                                                             in template (value) Int32 p_longitude,
                                                             in template (value) Oct2 p_elevation
            ) := {
                latitude    := p_latitude,
                longitude   := p_longitude,
                elevation := p_elevation
            } // End of template m_threeDLocation
            
garciay's avatar
garciay committed
            /**
             * @desc Send template circular geographic region
             * @param p_center  Circle center 
             * @param p_radius  Circle radius
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.21  GeographicRegion
             */
            template (value) GeographicRegion m_geographicRegion_circle(
                                                                        in template (value) TwoDLocation p_center,
                                                                        in template (value) UInt16 p_radius
garciay's avatar
garciay committed
            ) := {
garciay's avatar
garciay committed
                region_type := e_circle,
                region := {
                    circular_region := {
                        center := p_center,
                        radius := p_radius 
                    } // End of field circular_region
                } // End of field region
            } // End of template m_geographicRegion_circle
            
            /**
             * @desc Send template rectangular geographic region
garciay's avatar
garciay committed
             * @param p_northwest  Upper left corner 
             * @param p_southeast  Lower rigth corner
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.21  GeographicRegion
             */
            template (value) GeographicRegion m_geographicRegion_rectangle(
                                                                           in template (value) TwoDLocation p_northwest,
                                                                           in template (value) TwoDLocation p_southeast
garciay's avatar
garciay committed
            ) := {
garciay's avatar
garciay committed
                region_type := e_rectangle,
                region := {
                    rectangular_region := {
                        {
                            northwest := p_northwest,
                            southeast := p_southeast 
                        }
                    } // End of field rectangular_region
                } // End of field region
            } // End of template m_geographicRegion_rectangle
garciay's avatar
garciay committed
            
            /**
             * @desc Send template polygonial geographic region
             * @param p_polygonal_region  Polygonial region description
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.21  GeographicRegion
             */
            template (value) GeographicRegion m_geographicRegion_polygonial(
                                                                            in template (value) PolygonalRegion p_polygonal_region
garciay's avatar
garciay committed
            ) := {
garciay's avatar
garciay committed
                region_type := e_polygon,
                region := {
                    polygonal_region := p_polygonal_region
                } // End of field region
            } // End of template m_geographicRegion_polygonial
            
            /**
             * @desc Send template for geographic identified region
             * @param p_id_region  Indentified region
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.21  GeographicRegion
             */
garciay's avatar
garciay committed
            template (value) GeographicRegion m_geographicRegion_identifiedRegion(
garciay's avatar
garciay committed
                                                                                  in template (value) IdentifiedRegion p_id_region
            ) := {
                region_type := e_id,
garciay's avatar
garciay committed
                region := {
garciay's avatar
garciay committed
                    id_region := p_id_region
garciay's avatar
garciay committed
                } // End of field region
garciay's avatar
garciay committed
            } // End of template m_geographicRegion_identifiedRegion
            
            /**
             * @desc Send template for not specified geographic region
             * @param p_id_region  Indentified region
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.21  GeographicRegion
             */
garciay's avatar
garciay committed
            template (value) GeographicRegion m_geographicRegion_nonce := {
                region_type := e_none,
                region := omit
            } // End of template m_geographicRegion_nonce
        } // End of group basicFormatElementsSend 
garciay's avatar
garciay committed
        
        /**
         * @desc Receive templates for security headers
garciay's avatar
garciay committed
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2    Specification of basic format elements
         */
        group basicFormatElementsRecv {
garciay's avatar
garciay committed
            
            /**
             * @desc Receive template for Time64WithStandardDeviation
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.17    Time64WithStandardDeviation
             */
            template (present) Time64WithStandardDeviation mw_time64WithStandardDeviation(
                                                                                          in template (present) Time64 p_time,
                                                                                          in template (present) UInt8 p_log_std_dev
            ) := {
                time        := p_time,
                log_std_dev := p_log_std_dev
            } // End of template mw_time64WithStandardDeviation
            
            /**
             * @desc Receive template for Duration (in seconds)
             * @param p_duration    The duration value
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.18  Duration
             */
            template (present) Duration mw_duration_in_seconds(
                                                               in template (present) Int13 p_duration
            ) := {
                unit        := e_seconds,
                duration    := p_duration
            } // End of template mw_duration_in_seconds
            
garciay's avatar
garciay committed
            /**
             * @desc Receive template for TwoDLocation
garciay's avatar
garciay committed
             * @param p_latitude    Latitude range from  900 000 000 to +900 000 000
             * @param p_longitude   Longitude range from  1 800 000 000 to +1 800 000 000
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.19    TwoDLocation
             */
            template (present) TwoDLocation mw_twoDLocation(
                                                            in template (present) Int32 p_latitude,
                                                            in template (present) Int32 p_longitude
            ) := {
                latitude    := p_latitude,
                longitude   := p_longitude
            } // End of template mw_twoDLocation
            
            /**
             * @desc Receive template for ThreeDLocation
             * @param p_latitude    Latitude range from  900 000 000 to +900 000 000
             * @param p_longitude   Longitude range from  1 800 000 000 to +1 800 000 000
             * @param p_elevation   Elevation relative to the WGS-84 ellipsoid in decimetres
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.20    ThreeDLocation
             */
            template (present) ThreeDLocation mw_threeDLocation(
                                                                in template (present) Int32 p_latitude,
                                                                in template (present) Int32 p_longitude,
                                                                in template (present) Oct2 p_elevation
            ) := {
                latitude    := p_latitude,
                longitude   := p_longitude,
                elevation   := p_elevation
            } // End of template mw_threeDLocation
            
garciay's avatar
garciay committed
            /**
             * @desc Receive template circular geographic region
             * @param p_center  Circle center 
             * @param p_radius  Circle radius
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.21  GeographicRegion
             */
            template (present) GeographicRegion mw_geographicRegion_circle(
                                                                           in template (present) TwoDLocation p_center,
                                                                           in template (present) UInt16 p_radius
garciay's avatar
garciay committed
            ) := {
garciay's avatar
garciay committed
                region_type := e_circle,
                region := {
                    circular_region := {
                        center := p_center,
                        radius := p_radius 
                    } // End of field circular_region
                } // End of field region
            } // End of template mw_geographicRegion_circle
            
            /**
             * @desc Receive template polygonial geographic region
             * @param p_polygonal_region  Polygonial region description
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.21  GeographicRegion
             */
            template (present) GeographicRegion mw_geographicRegion_polygonial(
                                                                               in template (present) PolygonalRegion p_polygonal_region
garciay's avatar
garciay committed
            ) := {
garciay's avatar
garciay committed
                region_type := e_polygon,
                region := {
                    polygonal_region := p_polygonal_region
                } // End of field region
            } // End of template mw_geographicRegion_polygonial
            
            /**
             * @desc Receive template for geographic identified region
             * @param p_id_region  Indentified region
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.21  GeographicRegion
             */
garciay's avatar
garciay committed
            template (present) GeographicRegion mww_geographicRegion_identifiedRegion(
                                                                                      in template (present) IdentifiedRegion p_id_region
            ) := {
                region_type := e_id,
                region := {
                    id_region := p_id_region
                } // End of field region
            } // End of template mw_geographicRegion_identifiedRegion
            
            /**
             * @desc Receive template for not specified geographic region
             * @param p_id_region  Indentified region
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 4.2.21  GeographicRegion
             */
garciay's avatar
garciay committed
            template (present) GeographicRegion mw_geographicRegion_nonce := {
                region_type := e_none,
                region := omit
garciay's avatar
garciay committed
            } // End of template mw_geographicRegion_nonce
            
        } // End of group basicFormatElementsRecv
garciay's avatar
garciay committed
        
garciay's avatar
garciay committed
    } // End of group dummyBasicFormatElements 
    
garciay's avatar
garciay committed
     * @desc Dummy send/receive templates for security headers
     * @see Draft ETSI TS 103 097 V1.1.6 Clause 5   Specification of security header
garciay's avatar
garciay committed
    group dummyMessages {
        
garciay's avatar
garciay committed
         * @desc Dummy send templates for security headers
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 5   Specification of security header
         */
        group dummyMessagesSend {
            
garciay's avatar
garciay committed
            /**
             * @desc Generic send template for Security profile for other messages
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 7.3    Generic security profile for other signed messages
             */
            template (value) SecuredMessage m_secureMessage_dummy := {
garciay's avatar
garciay committed
                protocol_version     := c_protocol_version,
                security_profile     := c_security_profileOthers,
                header_fields        := { 
                    m_header_field_signer_info(
                        m_signerInfo_self
garciay's avatar
garciay committed
                payload_fields        := { },
                trailer_fields        := { }
            } // End of template m_secureMessage_dummy
garciay's avatar
garciay committed
            
        } // End of group dummyMessagesSend
        
        /**
garciay's avatar
garciay committed
         * @desc Dummy receive templates for security headers
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 5   Specification of security header
garciay's avatar
garciay committed
        group dummyMessagesRecv {
            
            /**
             * @desc Generic received template for SecuredMessage
             */
            template (present) SecuredMessage mw_securedMessage_dummy := {
                protocol_version    := c_protocol_version, 
garciay's avatar
garciay committed
                security_profile    := ?,
                header_fields       := ?,
                payload_fields      := ?,
                trailer_fields      := ?
            } // End of template mw_securedMessage_dummy
            
        } // End of group dummyMessagesRecv 
        
        group dummyPayloads {
            
garciay's avatar
garciay committed
            /**
             * @desc Generic received template for unsecured payload
garciay's avatar
garciay committed
             */
            template (present) SecPayload mw_unsecuredPayload_dummy := {
garciay's avatar
garciay committed
                type_   := e_unsecured, 
                data    := ?
garciay's avatar
garciay committed
            } // End of template mw_unsecuredPayload_dummy
            
             * @desc Generic received template for SecuredMessage
            template (present) SecPayload mw_signedPayload_dummy := {
                type_   := e_signed, 
            } // End of template mw_signedPayload_dummy
            
        } // End of group payloads
        
        group dummyEciesEncryptedKey {
            
            group dummyEciesEncryptedKeyRecv {
                
                /**
                 * @desc Basic receive template for an ECIES-encrypted symmetric key as defined in IEEE Std 1363a 2004 
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.9 EciesEncryptedKey
                 */
                template (present) EciesEncryptedKey mw_eciesEncryptedKey_dummy := {
                    v               := ?,
                    c               := ?,
                    t               := ?
                } // End of template mw_eciesEncryptedKey_dummy
                
            } // End of group dummyEciesEncryptedKeyRecv
            
        } // End of group dummyEciesEncryptedKey
        
    } // End of group dummyMessages
    
    /**
     * @desc Send/receive templates for security headers
     * @see Draft ETSI TS 103 097 V1.1.6 Clause 5   Specification of security header
     */
    group messages {
        
        /**
         * @desc Send templates for security headers
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 5   Specification of security header
         */
        group messagesSend {
            
            /**
             * @desc Generic send template for Security profile for CAMs with several payloads
             */
            template (value) SecuredMessage m_secureMessage(
                 in template (value) HeaderFields p_header_fields,
                 in template (omit) SecPayloads p_payload_fields,
                 in template (value) TrailerFields p_trailer_fields
            ) := {
                protocol_version    := c_protocol_version,
                security_profile    := 0,
                header_fields       := p_header_fields,
                payload_fields      := p_payload_fields,
                trailer_fields      := p_trailer_fields
            } // End of template m_secureMessage
            
        } // End of group messagesSend
        
        /**
         * @desc Receive templates for security headers
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 5   Specification of security header
         */
        group messagesRecv {
berge's avatar
berge committed

            /**
             * @desc Generic received template for SecuredMessage
             */
            template (present) SecuredMessage mw_securedMessage(
                template (present) HeaderFields    p_header := ?,
filatov's avatar
filatov committed
                template           SecPayloads     p_payloads := *, 
berge's avatar
berge committed
                template (present) TrailerFields   p_trailer := ? 
            ) := {
                protocol_version    := c_protocol_version, 
                security_profile    := ?,
                header_fields       := p_header,
                payload_fields      := p_payloads,
                trailer_fields      := p_trailer
            } // End of template mw_securedMessage

        } // End of group messagesRecv 
        
        /**
         * @desc Send/Receive templates for Payload
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.2 Payload
         */
garciay's avatar
garciay committed
            /**
             * @desc Send templates for Payload
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.2 Payload
             */
            group payloadsSend {
                
            /**
             * @desc Send template for 'unsecured' Payload 
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.2 Payload
             */
            template (value) SecPayload m_payload_unsecured(in template (omit) octetstring p_data := omit) := {
                type_   := e_unsecured,
                data    := p_data
            } // End of template m_payload_signed
            
            /**
             * @desc Send template for 'signed' Payload 
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.2 Payload
             */
            template (value) SecPayload m_payload_signed(in template (omit) octetstring p_data := omit) := {
                type_   := e_signed,
                data    := p_data
            } // End of template m_payload_signed
            
garciay's avatar
garciay committed
             * @desc Send template for 'signed_external' Payload 
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.2 Payload
             */
            template (value) SecPayload m_payload_signed_external(in template (omit) octetstring p_data := omit) := {
                type_   := e_signed_external,
                data    := omit
            } // End of template m_payload_signed_external
            
            template (value) SecPayload m_data_payload(
                                                    in template (value) SecPayloadType p_type,
garciay's avatar
garciay committed
                                                    in template (value) octetstring p_data
            ) := {
                type_   := p_type,
garciay's avatar
garciay committed
                data    := p_data
            } // End of template m_data_payload
            } // End of group payloadsSend 
            
            /**
             * @desc Receive templates for Payload
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.2 Payload
             */
            group payloadsRecv {
             * @desc Receive template for SecPayload 
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.2 Payload
             */
            template (present) SecPayload mw_payload (in template (present) SecPayloadType p_type,
                                                      in template (present) octetstring p_data := ?
            ):= {
                type_   := p_type,
                data    := p_data
            } // End of template mw_payload
                
            } // End of group payloadsRecv 
            
        } // End of group payloads
        
        /**
         * @desc Send/Receive templates for HeaderField
         * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.4 HeaderField
         */
        group headerFields {
            
            /**
             * @desc Send templates for HeaderField
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.4 HeaderField
             */
            group headerFieldsSend {
                
                /**
                 * @desc Send template for HeaderField with generation time information
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.4    HeaderField
                 */
                template (value) HeaderField m_header_field_generation_time(
                                                                            in template (value) Time64 p_generation_time
                ) := {
                    type_       := e_generation_time,
                    headerField := {
                        generation_time := p_generation_time
                    }
                } // End of template m_header_field_generation_time
                
                /**
                 * @desc Send template for HeaderField with generation time and standard deviation information
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.4    HeaderField
                 */
                template (value) HeaderField m_header_field_generation_time_with_standard_deviation(
                                                                                                    in template (value) Time64WithStandardDeviation p_generation_time_with_standard_deviation
                ) := {
                    type_       := e_generation_time_standard_deviation,
                    headerField := {
                        generation_time_with_standard_deviation := p_generation_time_with_standard_deviation
                    }
                } // End of template m_header_field_generation_time_with_standard_deviation
                
                /**
                 * @desc Send template for HeaderField with expiration time information
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.4    HeaderField
                 */
                template (value) HeaderField m_header_field_expiry_time(
                                                                        in template (value) Time32 p_expiry_time
                ) := {
                    type_       := e_expiration,
                    headerField := {
                        expiry_time := p_expiry_time
                    }
                } // End of template m_header_field_expiry_time
                
                /**
                 * @desc Send template for HeaderField with generation location information
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.4    HeaderField
                 */
                template (value) HeaderField m_header_field_generation_location(
                                                                                in template (value) ThreeDLocation p_generation_location
                ) := {
                    type_       := e_generation_location,
                    headerField := {
                        generation_location := p_generation_location
                    }
                } // End of template m_header_field_generation_location
                
                /**
                 * @desc Send template for HeaderField with generation location information
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.4    HeaderField
                 */
                template (value) HeaderField m_header_field_digest(
                                                                   in template (value) HashedId3 p_digest
                ) := {
                    type_       := e_request_unrecognized_certificate,
                    headerField := {
                        digests := { p_digest }
                    }
                } // End of template m_header_field_digest
                
                /**
                 * @desc Send template for HeaderField with generation location information
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.4    HeaderField
                 */
                template (value) HeaderField m_header_field_multiple_digests(
                                                                             in template (value) HashedId3s p_digests
                ) := {
                    type_       := e_request_unrecognized_certificate,
                    headerField := {
                        digests := p_digests
                    }
                } // End of template m_header_field_multiple_digests
                
                /**
                 * @desc Send template for HeaderField with generation location information
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.4    HeaderField
                 */
                template (value) HeaderField m_header_field_message_type(
                                                                         in template (value) UInt16 p_message_type
                ) := {
                    type_       := e_message_type,
                    headerField := {
                        message_type := p_message_type
                    }
                } // End of template m_header_field_message_type
                
                /**
                 * @desc Send template for HeaderField with signer information
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.4    HeaderField
                 */
                template (value) HeaderField m_header_field_signer_info(
                                                                        in template (value) SignerInfo p_signer
                ) := {
                    type_       := e_signer_info,
                    headerField := {
                        signer := p_signer
                    }
                } // End of template m_header_field_signerInfo_signer_info
                
                /**
                 * @desc Send template for HeaderField with signer information
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.4    HeaderField
                 */
                template (value) HeaderField m_header_field_recipient(
                                                                      in template (value) RecipientInfo p_recipient
                ) := {
                    type_       := e_recipient_info,
                    headerField := {
                        recipients := { p_recipient }
                    }
                } // End of template m_header_field_recipient
                
                /**
                 * @desc Send template for HeaderField with signer information
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.4    HeaderField
                 */
                template (value) HeaderField m_header_field_multiple_recipients(
                                                                                in template (value) RecipientInfos p_recipients
                ) := {
                    type_       := e_recipient_info,
                    headerField := {
                        recipients := p_recipients
                    }
                } // End of template m_header_field_multiple_recipients
                
                /**
                 * @desc Send template for HeaderField with signer information
                 * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.4    HeaderField
                 */
                template (value) HeaderField m_header_field_enc_params(
                                                                       in template (value) EncryptionParameters p_enc_params
                ) := {
                    type_       := e_encryption_parameters,
                    headerField := {
                        enc_params := p_enc_params
                    }
                } // End of template m_header_field_enc_params
                
            } // End of group headerFieldsSend
        
            /**
             * @desc Receive templates for HeaderField
             * @see Draft ETSI TS 103 097 V1.1.6 Clause 5.4 HeaderField
             */
            group headerFieldsRecv {