Commit e9328a3b authored by garciay's avatar garciay
Browse files

ATS security review

parent 2047f913

ttcn/Security/LibItsSecurity_Pics.ttcn

+9 −1
Original line number Original line Diff line number Diff line
@@ -28,7 +28,15 @@ module LibItsSecurity_Pics { 
     */

     */

    modulepar boolean PICS_BRAINPOOL_SUPPORT := false;

    modulepar boolean PICS_BRAINPOOL_SUPPORT := false;

    

    

    modulepar boolean PICS_SEC_P2P_AT_DISTRIBUTION := false;

    /**

     * Is the IUT able to distribute AT certificates

     */

    modulepar boolean PICS_SEC_P2P_AT_DISTRIBUTION := true;

    

    /**

     * Is the IUT able to distribute AA certificates

     */

    modulepar boolean PICS_SEC_P2P_AA_DISTRIBUTION := true;

    

    

    /**

    /**

     * Is the IUT support certificates pushing

     * Is the IUT support certificates pushing

ttcn/Security/LibItsSecurity_Templates.ttcn

+9 −7
Original line number Original line Diff line number Diff line
@@ -761,7 +761,7 @@ module LibItsSecurity_Templates { 
            missingCrlIdentifier := omit,

            missingCrlIdentifier := omit,

            encryptionKey        := omit,

            encryptionKey        := omit,

            inlineP2pcdRequest   := omit,

            inlineP2pcdRequest   := omit,

            requestedCertificate := *

            requestedCertificate := omit

        } // End of template mw_ieee1609Dot2_headerInfo

        } // End of template mw_ieee1609Dot2_headerInfo

        

        

        /**

        /**
@@ -790,13 +790,15 @@ module LibItsSecurity_Templates { 
                                                        template (present) Psid p_psid := c_its_aid_CAM,

                                                        template (present) Psid p_psid := c_its_aid_CAM,

                                                        template (present) Time64 p_generationTime := ?,

                                                        template (present) Time64 p_generationTime := ?,

                                                        template Time64 p_expiryTime := omit,

                                                        template Time64 p_expiryTime := omit,

                                                        template SequenceOfHashedId3 p_inlineP2pcdRequest := omit

                                                        template SequenceOfHashedId3 p_inlineP2pcdRequest := omit,

                                                        template Certificate p_requestedCertificate := omit

        ) modifies mw_ieee1609Dot2_headerInfo := {

        ) modifies mw_ieee1609Dot2_headerInfo := {

            psid                    := c_its_aid_CAM,

            psid                    := c_its_aid_CAM,

            generationTime          := p_generationTime,

            generationTime          := p_generationTime,

            expiryTime              := p_expiryTime,

            expiryTime              := p_expiryTime,

            generationLocation      := omit,

            generationLocation      := omit,

            inlineP2pcdRequest := p_inlineP2pcdRequest

            inlineP2pcdRequest      := p_inlineP2pcdRequest,

            requestedCertificate    := p_requestedCertificate

        } // End of template mw_headerInfo_cam

        } // End of template mw_headerInfo_cam

        

        

        /**

        /**

ttcn/Security/LibItsSecurity_TypesAndValues.ttcn

+1 −0
Original line number Original line Diff line number Diff line
@@ -25,6 +25,7 @@ module LibItsSecurity_TypesAndValues { 
        const charstring cc_taCert_A1 := "CERT_TS_A_1_AT"; /** Default certificate, without region validity restriction, to be used when secured messages are sent from TA to IUT */

        const charstring cc_taCert_A1 := "CERT_TS_A_1_AT"; /** Default certificate, without region validity restriction, to be used when secured messages are sent from TA to IUT */

        const charstring cc_taCert_B  := "CERT_TS_B_AT"; /** Default certificate, with circular region, to be used when secured messages are sent from TA to IUT */

        const charstring cc_taCert_B  := "CERT_TS_B_AT"; /** Default certificate, with circular region, to be used when secured messages are sent from TA to IUT */

        const charstring cc_taCert_B1 := "CERT_TS_B_1_AT";

        const charstring cc_taCert_B1 := "CERT_TS_B_1_AT";

        const charstring cc_taCert_B_AA := "CERT_TS_B_1_AA";

        const charstring cc_taCert_C  := "CERT_TS_C_AT"; /** Certificate with a rectangular region, to be used when secured messages are sent from TA to IUT */

        const charstring cc_taCert_C  := "CERT_TS_C_AT"; /** Certificate with a rectangular region, to be used when secured messages are sent from TA to IUT */

        const charstring cc_taCert_D  := "CERT_TS_D_AT"; /** Certificate with a polygonal region, to be used when secured messages are sent from TA to IUT */

        const charstring cc_taCert_D  := "CERT_TS_D_AT"; /** Certificate with a polygonal region, to be used when secured messages are sent from TA to IUT */

        const charstring cc_taCert_E  := "CERT_TS_E_AT"; /** Certificate with a region identifier, to be used when secured messages are sent from TA to IUT */

        const charstring cc_taCert_E  := "CERT_TS_E_AT"; /** Certificate with a region identifier, to be used when secured messages are sent from TA to IUT */