Commit 0f09e511 authored by garciay's avatar garciay
Browse files

Start Security support in the TA

Start ATS security review
Validation of TD_AUTO_IOT_DENM_RWW_BV_01 in progress
parent ee38bff7
Loading
Loading
Loading
Loading
+3 −3
Original line number Original line Diff line number Diff line
@@ -650,9 +650,9 @@ module LibItsGeoNetworking_Templates {
//FIXME RGY template restriction can be the same as its base template: used in TC_SEC_ITSS_SND_CAM_02_01_BV only, where is called with parameters
//FIXME RGY template restriction can be the same as its base template: used in TC_SEC_ITSS_SND_CAM_02_01_BV only, where is called with parameters
//        template GeoNetworkingPacket mw_geoNwPduWithPayload(
//        template GeoNetworkingPacket mw_geoNwPduWithPayload(
        template(present) GeoNetworkingPacket mw_geoNwPduWithPayload(
        template(present) GeoNetworkingPacket mw_geoNwPduWithPayload(
            in template (present) CommonHeader p_commonHeader,
            in template (present) CommonHeader p_commonHeader := ?,
            in template (present) ExtendedHeader p_extHeader,
            in template (present) ExtendedHeader p_extHeader := ?,
            in template (present) GnRawPayload p_payload
            in template (present) GnRawPayload p_payload := ?
        ) modifies mw_geoNwPacket := {
        ) modifies mw_geoNwPacket := {
            packet := {
            packet := {
                payload := p_payload
                payload := p_payload
+6 −0
Original line number Original line Diff line number Diff line
@@ -37,6 +37,12 @@ module LibItsSecurity_EncdecDeclarations {
    external function fx_dec_Ieee1609Dot2Data(inout bitstring p_data, out IEEE1609dot2.Ieee1609Dot2Data p_ieee1609Dot2Data) return integer
    external function fx_dec_Ieee1609Dot2Data(inout bitstring p_data, out IEEE1609dot2.Ieee1609Dot2Data p_ieee1609Dot2Data) return integer
        with {extension "prototype(sliding) decode(PER)"}
        with {extension "prototype(sliding) decode(PER)"}
    
    
    external function fx_enc_Ieee1609Dot2ToBeSignedData(in IEEE1609dot2.ToBeSignedData p) return bitstring
    with {extension "prototype(convert) encode(PER)"}

    external function fx_dec_Ieee1609Dot2ToBeSignedData(inout bitstring p_data, out IEEE1609dot2.ToBeSignedData p_toBeSignedData) return integer
        with {extension "prototype(sliding) decode(PER)"}
    
    external function fx_enc_SspCAM (LibItsSecurity_TypesAndValues.SspCAM p_ssp) return bitstring
    external function fx_enc_SspCAM (LibItsSecurity_TypesAndValues.SspCAM p_ssp) return bitstring
        with {extension "prototype(convert) encode(LibItsSecurity)"}
        with {extension "prototype(convert) encode(LibItsSecurity)"}
    
    
+1 −1
Original line number Original line Diff line number Diff line
/**
/**
 *  @author   ETSI / STF481 / STF507/ STF517
 *  @author   ETSI / STF481 / STF507 / STF517 / STF538
 *  @version  $URL$
 *  @version  $URL$
 *            $Id$
 *            $Id$
 *  @desc     Module containing functions for Security Protocol
 *  @desc     Module containing functions for Security Protocol
+11 −1
Original line number Original line Diff line number Diff line
/**
/**
 *  @author   ETSI / STF481 / STF507 / STF517
 *  @author   ETSI / STF481 / STF507 / STF517 / STF538
 *  @version  $URL$
 *  @version  $URL$
 *            $Id$
 *            $Id$
 *  @desc     Module containing Pics for Security Protocol
 *  @desc     Module containing Pics for Security Protocol
@@ -11,6 +11,16 @@
 */
 */
module LibItsSecurity_Pics {
module LibItsSecurity_Pics {
    
    
    // LibIts
    import from IEEE1609dot2BaseTypes language "ASN.1:1997" all;
    import from IEEE1609dot2 language "ASN.1:1997" all;
    import from EtsiTs103097Module language "ASN.1:1997" all;
        
    /**
     * Is the IUT support Brainpool algorithm
     */
    modulepar boolean PICS_BRAINPOOL_SUPPORT := false;
    
    /**
    /**
     * Is the IUT support certificates pushing
     * Is the IUT support certificates pushing
     */
     */
+1 −4
Original line number Original line Diff line number Diff line
/**
/**
 *  @author   ETSI / STF481 / STF507 / STF517
 *  @author   ETSI / STF481 / STF507 / STF517 / STF538
 *  @version  $URL$
 *  @version  $URL$
 *            $Id$
 *            $Id$
 *  @desc     Module containing Pixits for Security Protocol
 *  @desc     Module containing Pixits for Security Protocol
@@ -20,9 +20,6 @@ module LibItsSecurity_Pixits {
    import from IEEE1609dot2 language "ASN.1:1997" all;
    import from IEEE1609dot2 language "ASN.1:1997" all;
    import from EtsiTs103097Module language "ASN.1:1997" all;
    import from EtsiTs103097Module language "ASN.1:1997" all;
    
    
    // LibItsSecurity
    //import from LibItsSecurity_TypesAndValues all;
    
    /**
    /**
     * @desc Root path to access certificate stored in files, identified by certficate ID
     * @desc Root path to access certificate stored in files, identified by certficate ID
     */
     */
Loading