Commit 89984da4 authored by Denis Filatov's avatar Denis Filatov
Browse files

TC 01-14 are validated

parent 56ee2c55

ItsSecurity_TestCases.ttcn

+196 −138

File changed.

Preview size limit exceeded, changes collapsed.

lib/LibItsSecurity_Templates.ttcn

+6 −4
Original line number Diff line number Diff line
@@ -923,12 +923,14 @@ module LibItsSecurity_Templates { 
                                                    in template (value) Psid p_psid := c_its_aid_CAM,

                                                    in template (value) Time64 p_generationTime,

                                                    in template (omit) Time64 p_expiryTime := omit,

                                                    in template (omit) SequenceOfHashedId3 p_inlineP2pcdRequest := omit

                                                    in template (omit) SequenceOfHashedId3 p_inlineP2pcdRequest := omit,

                                                    in template (omit) Certificate p_requestedCertificate := omit

        ) modifies m_ieee1609Dot2_headerInfo := {

            generationTime     := p_generationTime,

            expiryTime         := p_expiryTime,

            generationLocation := omit,

            inlineP2pcdRequest := p_inlineP2pcdRequest

            inlineP2pcdRequest := p_inlineP2pcdRequest,

            requestedCertificate  := p_requestedCertificate

        } // End of template m_headerInfo_cam

        

        /**
@@ -939,8 +941,8 @@ module LibItsSecurity_Templates { 
        template (present) HeaderInfo mw_headerInfo_cam(

                                                        template (present) Psid p_psid := c_its_aid_CAM,

                                                        template (present) Time64 p_generationTime := ?,

                                                        template SequenceOfHashedId3 p_inlineP2pcdRequest := omit,

                                                        template Certificate p_requestedCertificate := omit

                                                        template SequenceOfHashedId3 p_inlineP2pcdRequest := *,

                                                        template Certificate p_requestedCertificate := *

        ) modifies mw_ieee1609Dot2_headerInfo := {

            psid                    := c_its_aid_CAM,

            generationTime          := p_generationTime,

lib_system/LibItsSecurity_Functions.ttcn

+3 −2
Original line number Diff line number Diff line
@@ -690,10 +690,11 @@ module LibItsSecurity_Functions { 
                                                  in Certificate p_cert

        ) return HashedId8 {

            var octetstring v_hash;

            var HashAlgorithm ha := f_getHashAlgorithmOfVerificationKeyIndicator(p_cert.toBeSigned.verifyKeyIndicator);

            

            if (PICS_SEC_SHA256) {

            if (ha == sha256) {

                v_hash := f_calculateDigestSha256FromCertificate(p_cert);

            } if (PICS_SEC_SHA384) {

            }else if (ha == sha384) {

                v_hash := f_calculateDigestSha384FromCertificate(p_cert);

            }