Commit 91a3f8da authored by garciay's avatar garciay
Browse files

Add new templates for security headers

TTCN-3 typing review
parent 06c1e5cb
Loading
Loading
Loading
Loading
+41 −9
Original line number Original line Diff line number Diff line
@@ -288,10 +288,12 @@ module LibItsSecurity_Templates {
                    } // End of field signature_
                    } // End of field signature_
                } // End of template m_signature_ecdsa
                } // End of template m_signature_ecdsa
                
                
                template (value) EcdsaSignature m_ecdsaSignature := {
                template (value) EcdsaSignature m_ecdsaSignature(
                                                                 in template (value) EccPoint p_r
                ) := {
                    algorithm   := e_ecdsa_nistp256_with_sha256,
                    algorithm   := e_ecdsa_nistp256_with_sha256,
                    field_size  := f_int2UInt8(1 + lengthof(PX_ECDSA_S)),
                    field_size  := f_int2UInt8(1 + lengthof(PX_ECDSA_S)),
                    r           := m_eccPoint_dummy,
                    r           := p_r,
                    s           := PX_ECDSA_S
                    s           := PX_ECDSA_S
                } // End of template m_ecdsaSignature
                } // End of template m_ecdsaSignature
                
                
@@ -654,6 +656,30 @@ module LibItsSecurity_Templates {
                trailer_fields      := ?
                trailer_fields      := ?
            } // End of template mw_securedMessage_dummy
            } // End of template mw_securedMessage_dummy
            
            
            /**
             * @desc Generic received template for SecuredMessage
             */
            template (present) SecuredMessage mdw_securedMessageCAMs_dummy
            modifies mw_securedMessage_dummy := {
                security_profile    := c_security_profileCAMs
            } // End of template mdw_securedMessageCAMs_dummy
            
            /**
             * @desc Generic received template for SecuredMessage
             */
            template (present) SecuredMessage mdw_securedMessageDENMs_dummy
            modifies mw_securedMessage_dummy := {
                security_profile    := c_security_profileDENMs
            } // End of template mdw_securedMessageDENMs_dummy
            
            /**
             * @desc Generic received template for SecuredMessage
             */
            template (present) SecuredMessage mdw_securedMessageOthers_dummy
            modifies mw_securedMessage_dummy := {
                security_profile    := c_security_profileOthers
            } // End of template mdw_securedMessageOthers_dummy
            
            /**
            /**
             * @desc Generic received template for SecuredMessage
             * @desc Generic received template for SecuredMessage
             */
             */
@@ -662,18 +688,21 @@ module LibItsSecurity_Templates {
                data    := ?
                data    := ?
            } // End of template mw_signedPayload_dummy
            } // End of template mw_signedPayload_dummy
            
            
        } // End of group dummyMessagesRecv 
        
        group dummyPayloads {
            
            /**
            /**
             * @desc Generic received template for SecuredMessage
             * @desc Generic received template for unsecured payload
             */
             */
            template (present) Payload mw_unsecuredPayload_dummy := {
            template (present) Payload mw_unsecuredPayload_dummy := {
                type_   := e_unsecured, 
                type_   := e_unsecured, 
                data    := ?
                data    := ?
            } // End of template mw_unsecuredPayload_dummy
            } // End of template mw_unsecuredPayload_dummy
            
            
        } // End of group dummyMessagesRecv 
            /**
        
             * @desc Generic received template for secured payload
        group dummyPayloads {
             */
                
            template (present) Payload mw_data_payload_dummmy := {
            template (present) Payload mw_data_payload_dummmy := {
                type_   := ?,
                type_   := ?,
                data    := ?
                data    := ?
@@ -1245,8 +1274,11 @@ module LibItsSecurity_Templates {
                subject_info            := m_subject_info_dummy,
                subject_info            := m_subject_info_dummy,
                subject_attributes      := { m_subject_attribute_dummy },
                subject_attributes      := { m_subject_attribute_dummy },
                validity_restrictions   := { m_validity_restriction_dummy },
                validity_restrictions   := { m_validity_restriction_dummy },
                signature_              := m_signature(
                signature_              := 
                    m_ecdsaSignature
                    m_signature(
                        m_ecdsaSignature(
                            m_eccPoint_dummy
                        )
                ) // End of field signature_ 
                ) // End of field signature_ 
            } // End of template m_certificate_dummy
            } // End of template m_certificate_dummy