Commit b26e7111 authored by garciay's avatar garciay
Browse files

Start validation of TD_AUTO_IOT_DENM_RWW_BV_01

parent 14e21bbc
Loading
Loading
Loading
Loading
+2 −2
Original line number Original line Diff line number Diff line
@@ -1547,14 +1547,14 @@ module LibItsSecurity_Functions {
             * @param   p_toBeHashedData Data to be used to calculate the hash value
             * @param   p_toBeHashedData Data to be used to calculate the hash value
             * @return  The hash value
             * @return  The hash value
             */
             */
            external function fx_hashWithSha256(in Oct32 p_toBeHashedData) return Oct32;
            external function fx_hashWithSha256(in octetstring p_toBeHashedData) return Oct32;
            
            
            /**
            /**
             * @desc    Produces a 384-bit (48-byte) hash value
             * @desc    Produces a 384-bit (48-byte) hash value
             * @param   p_toBeHashedData Data to be used to calculate the hash value
             * @param   p_toBeHashedData Data to be used to calculate the hash value
             * @return  The hash value
             * @return  The hash value
             */
             */
            external function fx_hashWithSha384(in Oct32 p_toBeHashedData) return Oct48;
            external function fx_hashWithSha384(in octetstring p_toBeHashedData) return Oct48;
            
            
            /**
            /**
             * @desc    Produces a Elliptic Curve Digital Signature Algorithm (ECDSA) signature
             * @desc    Produces a Elliptic Curve Digital Signature Algorithm (ECDSA) signature
+70 −16
Original line number Original line Diff line number Diff line
@@ -805,37 +805,37 @@ module LibItsSecurity_Templates {
            ecdsaBrainpoolP384r1Signature := p_ecdsaBrainpoolP384r1Signature
            ecdsaBrainpoolP384r1Signature := p_ecdsaBrainpoolP384r1Signature
        } // End of template mw_signature_ecdsaBrainpoolP384r1
        } // End of template mw_signature_ecdsaBrainpoolP384r1
        
        
        template (value) EcdsaP256Signature m_ecdsaNistP256Signature(
        template (value) EcdsaP256Signature m_ecdsaP256Signature(
                                                                 in template (value) EccP256CurvePoint p_rSig,
                                                                 in template (value) EccP256CurvePoint p_rSig,
                                                                 in template (value) Oct32 p_sSig
                                                                 in template (value) Oct32 p_sSig
        ) := {
        ) := {
            rSig := p_rSig,
            rSig := p_rSig,
            sSig := p_sSig
            sSig := p_sSig
        } // End of template m_ecdsaNistP256Signature
        } // End of template m_ecdsaP256Signature
        
        
        template (present) EcdsaP256Signature mw_ecdsaNistP256Signature(
        template (present) EcdsaP256Signature mw_ecdsaP256Signature(
                                                                    template (present) EccP256CurvePoint p_rSig,
                                                                    template (present) EccP256CurvePoint p_rSig,
                                                                    template (present) Oct32 p_sSig
                                                                    template (present) Oct32 p_sSig
        ) := {
        ) := {
            rSig := p_rSig,
            rSig := p_rSig,
            sSig := p_sSig
            sSig := p_sSig
        } // End of template mw_ecdsaNistP256Signature
        } // End of template mw_ecdsaP256Signature
        
        
        template (value) EcdsaP384Signature m_ecdsaBrainpoolP384Signature(
        template (value) EcdsaP384Signature m_ecdsaP384Signature(
                                                                 in template (value) EccP384CurvePoint p_rSig,
                                                                 in template (value) EccP384CurvePoint p_rSig,
                                                                 in template (value) Oct48 p_sSig
                                                                 in template (value) Oct48 p_sSig
        ) := {
        ) := {
            rSig := p_rSig,
            rSig := p_rSig,
            sSig := p_sSig
            sSig := p_sSig
        } // End of template m_ecdsaBrainpoolP384Signature
        } // End of template m_ecdsaP384Signature
        
        
        template (present) EcdsaP384Signature mw_ecdsaBrainpoolP384Signature(
        template (present) EcdsaP384Signature mw_ecdsaP384Signature(
                                                                    template (present) EccP384CurvePoint p_rSig := ?,
                                                                    template (present) EccP384CurvePoint p_rSig := ?,
                                                                    template (present) Oct48 p_sSig := ?
                                                                    template (present) Oct48 p_sSig := ?
        ) := {
        ) := {
            rSig := p_rSig,
            rSig := p_rSig,
            sSig := p_sSig
            sSig := p_sSig
        } // End of template mw_ecdsaBrainpoolP384Signature
        } // End of template mw_ecdsaP384Signature
        
        
        template (value) EccP256CurvePoint m_eccP256CurvePoint_x_only(
        template (value) EccP256CurvePoint m_eccP256CurvePoint_x_only(
                                                                      in template (value) Oct32 p_x_only
                                                                      in template (value) Oct32 p_x_only
@@ -1153,6 +1153,60 @@ module LibItsSecurity_Templates {
            verifyKeyIndicator     := p_verifyKeyIndicator
            verifyKeyIndicator     := p_verifyKeyIndicator
        } // End of template mw_toBeSignedCertificate_ea
        } // End of template mw_toBeSignedCertificate_ea
        
        
        /**
         * @desc Send template for ToBeSignedCertificate with Authorization authority restrictions
         * @see ETSI TS 103 097 V1.3.1 Clause 7.2.4 Subordinate certification authority certificates
         */
        template (omit) ToBeSignedCertificate m_toBeSignedCertificate_aa(
                                                                         in template (value) CertificateId p_id,
                                                                         in template (value) SequenceOfPsidSsp p_appPermissions,
                                                                         in template (value) VerificationKeyIndicator p_verifyKeyIndicator,
                                                                         in template (omit) ValidityPeriod p_validityPeriod := omit,
                                                                         in template (omit) GeographicRegion p_region := omit,
                                                                         in template (omit) SubjectAssurance p_assuranceLevel := omit,
                                                                         in template (omit) PublicEncryptionKey p_encryptionKey := omit
        ) := { 
            id                     := p_id,
            cracaId                := '000000'O, // ETSI TS 103 097 V1.3.1 Clause 6 Bullet 2
            crlSeries              := 0, // ETSI TS 103 097 V1.3.1 Clause 6 Bullet 3
            validityPeriod         := p_validityPeriod,
            region                 := p_region,
            assuranceLevel         := p_assuranceLevel,
            appPermissions         := p_appPermissions,
            certIssuePermissions   := omit,
            certRequestPermissions := omit, 
            canRequestRollover     := omit,
            encryptionKey          := p_encryptionKey,
            verifyKeyIndicator     := p_verifyKeyIndicator
        } // End of template m_toBeSignedCertificate_aa
        
        /**
         * @desc Send template for ToBeSignedCertificate with Authorization authority restrictions
         * @see ETSI TS 103 097 V1.3.1 Clause 7.2.4 Subordinate certification authority certificates
         */
        template ToBeSignedCertificate mw_toBeSignedCertificate_aa(
                                                                   template (present) CertificateId p_id := ?,
                                                                   template (present) SequenceOfPsidSsp p_appPermissions := ?,
                                                                   template (present) VerificationKeyIndicator p_verifyKeyIndicator := ?,
                                                                   template ValidityPeriod p_validityPeriod := *,
                                                                   template GeographicRegion p_region := *,
                                                                   template SubjectAssurance p_assuranceLevel := *,
                                                                   template PublicEncryptionKey p_encryptionKey := *
        ) := { 
            id                     := p_id,
            cracaId                := '000000'O, // ETSI TS 103 097 V1.3.1 Clause 6 Bullet 2
            crlSeries              := 0, // ETSI TS 103 097 V1.3.1 Clause 6 Bullet 3
            validityPeriod         := p_validityPeriod,
            region                 := p_region,
            assuranceLevel         := p_assuranceLevel,
            appPermissions         := p_appPermissions,
            certIssuePermissions   := *,
            certRequestPermissions := *, 
            canRequestRollover     := *,
            encryptionKey          := p_encryptionKey,
            verifyKeyIndicator     := p_verifyKeyIndicator
        } // End of template mw_toBeSignedCertificate_aa
        
        /**
        /**
         * @desc Send template for ToBeSignedCertificate with AT restrictions
         * @desc Send template for ToBeSignedCertificate with AT restrictions
         * @see ETSI TS 103 097 V1.3.1 Clause 7.2.1 Authorization tickets
         * @see ETSI TS 103 097 V1.3.1 Clause 7.2.1 Authorization tickets