Commit 29f5bad1 authored by garciay's avatar garciay
Browse files

ATS security review

parent ebf48403
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -109,10 +109,10 @@ LogEventTypes:= Yes
#     save_mode   : 1 to save sent packet, 0 otherwise

# Single GeoNetworking component port
system.geoNetworkingPort.params := "GN(ll_address=F8CAB8083918,latitude=43551050,longitude=10298730,beaconing=0,expiry=1000,its_aid=38)/ETH(mac_src=0800275c4959,mac_bc=FFFFFFFFFFFF,eth_type=8947)/PCAP(mac_src=0800275c4959,nic=enp0s8,filter=and ether proto 0x8947)"
system.geoNetworkingPort.params := "GN(ll_address=F8CAB8083918,latitude=43551050,longitude=10298730,beaconing=0,expiry=1000,its_aid=38)/ETH(mac_src=0800275c4959,mac_bc=FFFFFFFFFFFF,eth_type=8947)/PCAP(mac_src=0800275c4959,nic=eth1,filter=and ether proto 0x8947)"

# UpperTester port based on UDP
system.utPort.params := "UT/UDP(dst_ip=192.168.56.1,dst_port=12346,src_ip=192.168.156.4,src_port=12345)/ETH(mac_src=026f8338c1e5,mac_dst=0A0027000011,eth_type=0800)/PCAP(mac_src=0800275c4959,nic=enp0s8,filter=udp port 12346)"
system.utPort.params := "UT/UDP(dst_ip=192.168.56.1,dst_port=12346,src_ip=192.168.156.4,src_port=12345)/ETH(mac_src=026f8338c1e5,mac_dst=0A0027000011,eth_type=0800)/PCAP(mac_src=0800275c4959,nic=eth1,filter=udp port 12346)"

[EXECUTE]
ItsRSUsSimulator_TestCases.TC_RSUSIMU_BV_01
+5 −3
Original line number Diff line number Diff line
@@ -29,11 +29,13 @@ module ItsSecurity_Pics {
        charstring certificate_id,
        HashAlgorithm hashAlgorithm,
        HashedId8 issuer,
        HashedId8 hashedId8
        HashedId8 hashedId8,
        GeographicRegion region optional
    } // End of type certificates_foi
    
    modulepar certificates_foi PICS_CERTFICATES_FOI[1] := {
        { cc_iutCert_A, sha256, '0000000000000000'O, '0000000000000000'O } // CERT_IUT_A_AT
    modulepar certificates_foi PICS_CERTFICATES_FOI[2] := {
        { cc_iutCert_A, sha256, '0000000000000000'O, '0000000000000000'O, omit }, // CERT_IUT_A_AT
        { cc_iutCert_B, sha256, '0000000000000000'O, '0000000000000000'O, { circularRegion := { center := {0, 0}, radius := 1000 } } } // CERT_IUT_B_AT
    }
    modulepar integer PICS_CERTFICATES_VAR := 0;
    
+1003 −732

File changed.

Preview size limit exceeded, changes collapsed.

+14 −0
Original line number Diff line number Diff line
@@ -56,6 +56,20 @@ module ItsSecurity_TestControl {
            execute(TC_SEC_ITSS_SND_CAM_22_BV());
            execute(TC_SEC_ITSS_SND_CAM_23_BV());
            execute(TC_SEC_ITSS_SND_CAM_24_BV());
            execute(TC_SEC_ITSS_SND_CAM_25_BV());
            execute(TC_SEC_ITSS_SND_CAM_26_BV());
            execute(TC_SEC_ITSS_SND_CAM_27_BV());
            
            /**
             * @desc Sending behaviour test cases for DENM profile
             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.5 DENM profile
             */
            execute(TC_SEC_ITSS_SND_DENM_01_BV());
            execute(TC_SEC_ITSS_SND_DENM_02_BV());
            execute(TC_SEC_ITSS_SND_DENM_03_BV());
            execute(TC_SEC_ITSS_SND_DENM_04_BV());
            execute(TC_SEC_ITSS_SND_DENM_05_BV());
            execute(TC_SEC_ITSS_SND_DENM_06_BV());
        }
        
    } // End of 'control' statement
+1 −49
Original line number Diff line number Diff line
@@ -763,55 +763,7 @@ module TestCodec_CAM {
                
      }
            
      /**
       * @desc Generate CAM according to the CAM port settings
       * @verdict Pass on success, Fail otherwise
       */
      testcase tc_Cam_Port_1() runs on ItsCam system ItsCamSystem {
        var CamReq v_camReq;
        timer tc_send := 0.5;
        
        if (PX_GN_UPPER_LAYER != e_btpB) {
          log("PX_GN_UPPER_LAYER shall be set to e_btpB");
          stop;
        }
        
        map(self:camPort, system:camPort);
        
        v_camReq := valueof(
                            CamReq : { msgOut := m_camMsg(
                                                          f_getTsStationId(),
                                                          f_getCurrentTime() mod 65536 // See ETSI EN 302 637-2 V1.3.0 - Clause B.3 generationDelatTime
                                                          )
                              }
                            );
        camPort.send(v_camReq);
        tc_ac.start;
        tc_send.start
        alt {
          [] tc_send.timeout {
            v_camReq := valueof(
                                CamReq : { msgOut := m_camMsg(
                                                              f_getTsStationId(),
                                                              f_getCurrentTime() mod 65536 // See ETSI EN 302 637-2 V1.3.0 - Clause B.3 generationDelatTime
                                                              )
                                  }
                                );
            camPort.send(v_camReq);
            tc_send.start;
            repeat;
          }
          [] tc_ac.timeout {
            tc_send.stop;
            setverdict(pass);
          }
        }
                
        unmap(self:camPort, system:camPort);
                
      }
            
    } // End of group testCamPort 
    } // End of group testCamPort_1
        
  } // End of group LibItsCam_testCases
    
Loading