Commit 845b312e authored by garciay's avatar garciay
Browse files

STF538: Finalize DENM & CAM TP implementation

parent e99ed734
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -952,8 +952,8 @@ module LibItsGeoNetworking_Templates {
             * @param   p_seqNumber             Sequence number of GeoBroadcast packet
             */
            template (present) GnNonSecuredPacket mw_geoNwBroadcastPacket(
                in template (present) LongPosVector p_sourceLongPosVec,
                in template (present) UInt16 p_seqNumber
                in template (present) LongPosVector p_sourceLongPosVec := ?,
                in template (present) UInt16 p_seqNumber := ?
            ) := {
                commonHeader := mw_commonHeader(
                    PX_GN_UPPER_LAYER,
+5 −2
Original line number Diff line number Diff line
@@ -128,6 +128,9 @@ module LibItsSecurity_TypesAndValues {
        const charstring cc_taCert1901_BO := "CERT_TS_19_01_BO_AT"; /** Check that IUT discards a SecuredMessage if the reserved region type has been used in region validity restriction of the AT certificate */
        
        // IUT certificates & private keys
        const charstring cc_taCert_CA1 := "CERT_IUT_CA1_AT";
        const charstring cc_taCert_CA2 := "CERT_IUT_CA2_AT";
        const charstring cc_taCert_CC_AA := "CERT_IUT_CC_AA";
        const charstring cc_iutCert_A := "CERT_IUT_A_AT"; /** Default certificate, without region validity restriction, to be used when secured messages are sent from TA to IUT */
        const charstring cc_iutCert_B := "CERT_IUT_B_AT"; /** Default certificate, with circular region, to be used when secured messages are sent from TA to IUT */
        const charstring cc_iutCert_C := "CERT_IUT_C_AT"; /** Certificate with a rectangular region, to be used when secured messages are sent from TA to IUT */