smg
player att
attacker1 ,
[L_t2_RULE_12__local_DOS_t2_],
[L_t6_RULE_15__local_exploit_t6_],
[L_t8_RULE_15__local_exploit_t8_],
[L_t10_RULE_16__remote_exploit_of_a_server_progt10_],
[L_t12_RULE_19__multi_hop_access_t12_],
[L_t15_RULE_15__local_exploit_t15_],
[L_t17_RULE_9__Tampering_the_code_memory_t17_],
[L_t19_RULE_22__Access_a_host_through_executingt19_],
[L_t20_RULE_23__Access_a_host_through_a_log_in_t20_],
[L_t22_RULE_19__multi_hop_access_t22_],
[L_t24_RULE_19__multi_hop_access_t24_],
[L_t26_RULE_19__multi_hop_access_t26_],
[L_t27_RULE_19__multi_hop_access_t27_],
[L_t30_RULE_15__local_exploit_t30_],
[L_t32_RULE_9__Tampering_the_code_memory_t32_],
[L_t34_RULE_22__Access_a_host_through_executingt34_],
[L_t35_RULE_23__Access_a_host_through_a_log_in_t35_],
[L_t37_RULE_19__multi_hop_access_t37_],
[L_t39_RULE_19__multi_hop_access_t39_],
[L_t41_RULE_19__multi_hop_access_t41_],
[L_t42_RULE_19__multi_hop_access_t42_],
[L_t44_RULE_19__multi_hop_access_t44_],
[L_t47_RULE_15__local_exploit_t47_],
[L_t49_RULE_9__Tampering_the_code_memory_t49_],
[L_t51_RULE_22__Access_a_host_through_executingt51_],
[L_t52_RULE_23__Access_a_host_through_a_log_in_t52_],
[L_t54_RULE_19__multi_hop_access_t54_],
[L_t56_RULE_19__multi_hop_access_t56_],
[L_t58_RULE_19__multi_hop_access_t58_],
[L_t59_RULE_19__multi_hop_access_t59_],
[L_t61_RULE_19__multi_hop_access_t61_],
[L_t63_RULE_19__multi_hop_access_t63_],
[L_t66_RULE_15__local_exploit_t66_],
[L_t68_RULE_9__Tampering_the_code_memory_t68_],
[L_t70_RULE_22__Access_a_host_through_executingt70_],
[L_t71_RULE_23__Access_a_host_through_a_log_in_t71_],
[L_t73_RULE_19__multi_hop_access_t73_],
[L_t75_RULE_19__multi_hop_access_t75_],
[L_t77_RULE_19__multi_hop_access_t77_],
[L_t78_RULE_19__multi_hop_access_t78_],
[L_t80_RULE_19__multi_hop_access_t80_],
[L_t82_RULE_19__multi_hop_access_t82_],
[L_t84_RULE_19__multi_hop_access_t84_],
[L_t87_RULE_15__local_exploit_t87_],
[L_t89_RULE_15__local_exploit_t89_],
[L_t91_RULE_16__remote_exploit_of_a_server_progt91_],
[L_t93_RULE_19__multi_hop_access_t93_],
[L_t95_RULE_19__multi_hop_access_t95_],
[L_t97_RULE_19__multi_hop_access_t97_],
[L_t98_RULE_19__multi_hop_access_t98_],
[L_t100_RULE_19__multi_hop_access_t100_],
[L_t102_RULE_19__multi_hop_access_t102_],
[L_t104_RULE_19__multi_hop_access_t104_],
[L_t106_RULE_19__multi_hop_access_t106_],
[L_t107_RULE_19__multi_hop_access_t107_],
[L_t110_RULE_15__local_exploit_t110_],
[L_t112_RULE_9__Tampering_the_code_memory_t112_],
[L_t114_RULE_22__Access_a_host_through_executingt114_],
[L_t115_RULE_23__Access_a_host_through_a_log_in_t115_],
[L_t117_RULE_19__multi_hop_access_t117_],
[L_t119_RULE_19__multi_hop_access_t119_],
[L_t121_RULE_19__multi_hop_access_t121_],
[L_t122_RULE_19__multi_hop_access_t122_],
[L_t124_RULE_19__multi_hop_access_t124_],
[L_t126_RULE_19__multi_hop_access_t126_],
[L_t128_RULE_19__multi_hop_access_t128_],
[L_t130_RULE_19__multi_hop_access_t130_],
[L_t131_RULE_19__multi_hop_access_t131_],
[L_t133_RULE_19__multi_hop_access_t133_],
[L_t136_RULE_15__local_exploit_t136_],
[L_t138_RULE_9__Tampering_the_code_memory_t138_],
[L_t140_RULE_22__Access_a_host_through_executingt140_],
[L_t141_RULE_23__Access_a_host_through_a_log_in_t141_],
[L_t143_RULE_19__multi_hop_access_t143_],
[L_t145_RULE_19__multi_hop_access_t145_],
[L_t147_RULE_19__multi_hop_access_t147_],
[L_t148_RULE_19__multi_hop_access_t148_],
[L_t150_RULE_19__multi_hop_access_t150_],
[L_t152_RULE_19__multi_hop_access_t152_],
[L_t154_RULE_19__multi_hop_access_t154_],
[L_t156_RULE_19__multi_hop_access_t156_],
[L_t157_RULE_19__multi_hop_access_t157_],
[L_t159_RULE_19__multi_hop_access_t159_],
[L_t161_RULE_19__multi_hop_access_t161_],
[L_t164_RULE_9__Tampering_the_code_memory_t164_],
[L_t166_RULE_22__Access_a_host_through_executingt166_],
[L_t167_RULE_23__Access_a_host_through_a_log_in_t167_],
[L_t169_RULE_19__multi_hop_access_t169_],
[L_t171_RULE_19__multi_hop_access_t171_],
[L_t173_RULE_19__multi_hop_access_t173_],
[L_t174_RULE_19__multi_hop_access_t174_],
[L_t176_RULE_19__multi_hop_access_t176_],
[L_t178_RULE_19__multi_hop_access_t178_],
[L_t180_RULE_19__multi_hop_access_t180_],
[L_t182_RULE_19__multi_hop_access_t182_],
[L_t183_RULE_19__multi_hop_access_t183_],
[L_t185_RULE_19__multi_hop_access_t185_],
[L_t187_RULE_19__multi_hop_access_t187_],
[L_t189_RULE_19__multi_hop_access_t189_],
[L_t192_RULE_15__local_exploit_t192_],
[L_t194_RULE_15__local_exploit_t194_],
[L_t196_RULE_16__remote_exploit_of_a_server_progt196_],
[L_t198_RULE_19__multi_hop_access_t198_],
[L_t200_RULE_19__multi_hop_access_t200_],
[L_t202_RULE_19__multi_hop_access_t202_],
[L_t203_RULE_19__multi_hop_access_t203_],
[L_t205_RULE_19__multi_hop_access_t205_],
[L_t207_RULE_19__multi_hop_access_t207_],
[L_t209_RULE_19__multi_hop_access_t209_],
[L_t211_RULE_19__multi_hop_access_t211_],
[L_t212_RULE_19__multi_hop_access_t212_],
[L_t214_RULE_19__multi_hop_access_t214_],
[L_t216_RULE_19__multi_hop_access_t216_],
[L_t218_RULE_19__multi_hop_access_t218_],
[L_t220_RULE_19__multi_hop_access_t220_],
[L_t223_RULE_9__Tampering_the_code_memory_t223_],
[L_t225_RULE_22__Access_a_host_through_executingt225_],
[L_t226_RULE_22__Access_a_host_through_executingt226_],
[L_t227_RULE_23__Access_a_host_through_a_log_in_t227_],
[L_t229_RULE_27__remote_ssh_to_a_host_t229_],
[L_t232_RULE_19__multi_hop_access_t232_],
[L_t234_RULE_27__remote_ssh_to_a_host_t234_],
[L_t238_RULE_9__Tampering_the_code_memory_t238_],
[L_t240_RULE_19__multi_hop_access_t240_],
[L_t242_RULE_19__multi_hop_access_t242_],
[L_t244_RULE_27__remote_ssh_to_a_host_t244_],
[L_t248_RULE_19__multi_hop_access_t248_],
[L_t250_RULE_19__multi_hop_access_t250_],
[L_t252_RULE_19__multi_hop_access_t252_],
[L_t254_RULE_27__remote_ssh_to_a_host_t254_],
[L_t258_RULE_19__multi_hop_access_t258_],
[L_t260_RULE_19__multi_hop_access_t260_],
[L_t262_RULE_19__multi_hop_access_t262_],
[L_t264_RULE_19__multi_hop_access_t264_],
[L_t267_RULE_9__Tampering_the_code_memory_t267_],
[L_t269_RULE_22__Access_a_host_through_executingt269_],
[L_t270_RULE_22__Access_a_host_through_executingt270_],
[L_t271_RULE_23__Access_a_host_through_a_log_in_t271_],
[L_t273_RULE_27__remote_ssh_to_a_host_t273_],
[L_t276_RULE_19__multi_hop_access_t276_],
[L_t277_RULE_19__multi_hop_access_t277_],
[L_t279_RULE_19__multi_hop_access_t279_],
[L_t281_RULE_19__multi_hop_access_t281_],
[L_t283_RULE_19__multi_hop_access_t283_],
[L_t285_RULE_19__multi_hop_access_t285_],
[L_t287_RULE_27__remote_ssh_to_a_host_t287_],
[L_t290_RULE_9__Tampering_the_code_memory_t290_],
[L_t292_RULE_19__multi_hop_access_t292_],
[L_t294_RULE_19__multi_hop_access_t294_],
[L_t295_RULE_19__multi_hop_access_t295_],
[L_t297_RULE_19__multi_hop_access_t297_],
[L_t299_RULE_19__multi_hop_access_t299_],
[L_t301_RULE_19__multi_hop_access_t301_],
[L_t303_RULE_19__multi_hop_access_t303_],
[L_t305_RULE_27__remote_ssh_to_a_host_t305_],
[L_t308_RULE_9__Tampering_the_code_memory_t308_],
[L_t310_RULE_19__multi_hop_access_t310_],
[L_t312_RULE_19__multi_hop_access_t312_],
[L_t314_RULE_19__multi_hop_access_t314_],
[L_t315_RULE_19__multi_hop_access_t315_],
[L_t317_RULE_19__multi_hop_access_t317_],
[L_t319_RULE_19__multi_hop_access_t319_],
[L_t321_RULE_19__multi_hop_access_t321_],
[L_t323_RULE_19__multi_hop_access_t323_],
[L_t324_RULE_20__direct_network_access_t324_],
[L_t328_RULE_27__remote_ssh_to_a_host_t328_],
[L_t331_RULE_19__multi_hop_access_t331_],
[L_t333_RULE_19__multi_hop_access_t333_],
[L_t335_RULE_19__multi_hop_access_t335_],
[L_t337_RULE_19__multi_hop_access_t337_],
[L_t338_RULE_19__multi_hop_access_t338_],
[L_t340_RULE_19__multi_hop_access_t340_],
[L_t342_RULE_19__multi_hop_access_t342_],
[L_t344_RULE_19__multi_hop_access_t344_],
[L_t346_RULE_19__multi_hop_access_t346_],
[L_t348_RULE_27__remote_ssh_to_a_host_t348_],
[L_t351_RULE_19__multi_hop_access_t351_],
[L_t353_RULE_19__multi_hop_access_t353_],
[L_t354_RULE_19__multi_hop_access_t354_],
[L_t356_RULE_19__multi_hop_access_t356_],
[L_t358_RULE_19__multi_hop_access_t358_],
[L_t360_RULE_19__multi_hop_access_t360_],
[L_t362_RULE_19__multi_hop_access_t362_],
[L_t363_RULE_19__multi_hop_access_t363_],
[L_t365_RULE_19__multi_hop_access_t365_],
[L_t367_RULE_19__multi_hop_access_t367_],
[L_t369_RULE_19__multi_hop_access_t369_],
[L_t371_RULE_19__multi_hop_access_t371_],
[L_t372_RULE_20__direct_network_access_t372_],
[L_t376_RULE_9__Tampering_the_code_memory_t376_],
[L_t378_RULE_22__Access_a_host_through_executingt378_],
[L_t379_RULE_22__Access_a_host_through_executingt379_],
[L_t380_RULE_23__Access_a_host_through_a_log_in_t380_],
[L_t382_RULE_27__remote_ssh_to_a_host_t382_],
[L_t385_RULE_12__local_DOS_t385_],
[L_t386_RULE_12__local_DOS_t386_],
[L_t389_RULE_12__local_DOS_t389_],
[L_t390_RULE_13__remote_DOS_on_a_server_program_t390_],
[L_t393_RULE_13__remote_DOS_on_a_server_program_t393_]
endplayer
player def
defender ,
[def_L_t8_RULE_15__local_exploit_t8_ ],
[def_L_t15_RULE_15__local_exploit_t15_ ],
[def_L_t24_RULE_19__multi_hop_access_t24_ ],
[def_L_t30_RULE_15__local_exploit_t30_ ]
endplayer
global dos_plycent02_ : bool init false;
global misuseAction_overusecpu_ : bool init true;
global vulExists_plycent02__cve_2018_8897___cen : bool init true;
global execCode_plycent02_root_ : bool init false;
global vulExists_plycent02__cve_2017_9076___cen : bool init true;
global execCode_plycent02_user_ : bool init false;
global netAccess_plycent02_tcp_22_ : bool init false;
global hacl_plycent01_plycent02_tcp_22_ : bool init true;
global execCode_plycent01_root_ : bool init false;
global vulExists_plycent01__cve_2017_13215___ce : bool init true;
global canAccessHost_plycent01_ : bool init false;
global netAccess_plycent01_tcp_22_ : bool init false;
global hacl_plycent01_plycent01_tcp_22_ : bool init true;
global hacl_plycent02_plycent01_tcp_22_ : bool init true;
global hacl_plycent03_plycent01_tcp_22_ : bool init true;
global execCode_plycent03_root_ : bool init false;
global vulExists_plycent03__cve_2017_16939___ce : bool init true;
global canAccessHost_plycent03_ : bool init false;
global netAccess_plycent03_tcp_22_ : bool init false;
global hacl_plycent01_plycent03_tcp_22_ : bool init true;
global hacl_plycent02_plycent03_tcp_22_ : bool init true;
global hacl_plycent03_plycent03_tcp_22_ : bool init true;
global hacl_plycent04_plycent03_tcp_22_ : bool init true;
global execCode_plycent04_root_ : bool init false;
global vulExists_plycent04__cve_2017_11176___ce : bool init true;
global canAccessHost_plycent04_ : bool init false;
global netAccess_plycent04_tcp_22_ : bool init false;
global hacl_plycent01_plycent04_tcp_22_ : bool init true;
global hacl_plycent02_plycent04_tcp_22_ : bool init true;
global hacl_plycent03_plycent04_tcp_22_ : bool init true;
global hacl_plycent04_plycent04_tcp_22_ : bool init true;
global hacl_plycent05_plycent04_tcp_22_ : bool init true;
global execCode_plycent05_root_ : bool init false;
global vulExists_plycent05__cve_2017_13215___ce : bool init true;
global canAccessHost_plycent05_ : bool init false;
global netAccess_plycent05_tcp_22_ : bool init false;
global hacl_plycent01_plycent05_tcp_22_ : bool init true;
global hacl_plycent02_plycent05_tcp_22_ : bool init true;
global hacl_plycent03_plycent05_tcp_22_ : bool init true;
global hacl_plycent04_plycent05_tcp_22_ : bool init true;
global hacl_plycent05_plycent05_tcp_22_ : bool init true;
global hacl_plydeb01_plycent05_tcp_22_ : bool init true;
global execCode_plydeb01_root_ : bool init false;
global vulExists_plydeb01__cve_2018_1087___debi : bool init true;
global execCode_plydeb01_user_ : bool init false;
global netAccess_plydeb01_tcp_22_ : bool init false;
global hacl_plycent01_plydeb01_tcp_22_ : bool init true;
global hacl_plycent02_plydeb01_tcp_22_ : bool init true;
global hacl_plycent03_plydeb01_tcp_22_ : bool init true;
global hacl_plycent04_plydeb01_tcp_22_ : bool init true;
global hacl_plycent05_plydeb01_tcp_22_ : bool init true;
global hacl_plydeb01_plydeb01_tcp_22_ : bool init true;
global hacl_plyora01_plydeb01_tcp_22_ : bool init true;
global execCode_plyora01_root_ : bool init false;
global vulExists_plyora01__cve_2017_7294___orac : bool init true;
global canAccessHost_plyora01_ : bool init false;
global netAccess_plyora01_tcp_22_ : bool init false;
global hacl_plycent01_plyora01_tcp_22_ : bool init true;
global hacl_plycent02_plyora01_tcp_22_ : bool init true;
global hacl_plycent03_plyora01_tcp_22_ : bool init true;
global hacl_plycent04_plyora01_tcp_22_ : bool init true;
global hacl_plycent05_plyora01_tcp_22_ : bool init true;
global hacl_plydeb01_plyora01_tcp_22_ : bool init true;
global hacl_plyora01_plyora01_tcp_22_ : bool init true;
global hacl_plyprox01_plyora01_tcp_22_ : bool init true;
global execCode_plyprox01_root_ : bool init false;
global vulExists_plyprox01__cve_2017_13215___ce : bool init true;
global canAccessHost_plyprox01_ : bool init false;
global netAccess_plyprox01_tcp_22_ : bool init false;
global hacl_plycent01_plyprox01_tcp_22_ : bool init true;
global hacl_plycent02_plyprox01_tcp_22_ : bool init true;
global hacl_plycent03_plyprox01_tcp_22_ : bool init true;
global hacl_plycent04_plyprox01_tcp_22_ : bool init true;
global hacl_plycent05_plyprox01_tcp_22_ : bool init true;
global hacl_plydeb01_plyprox01_tcp_22_ : bool init true;
global hacl_plyora01_plyprox01_tcp_22_ : bool init true;
global hacl_plyprox01_plyprox01_tcp_22_ : bool init true;
global hacl_plyrhel01_plyprox01_tcp_22_ : bool init true;
global execCode_plyrhel01_root_ : bool init false;
global canAccessHost_plyrhel01_ : bool init false;
global netAccess_plyrhel01_tcp_22_ : bool init false;
global hacl_plycent01_plyrhel01_tcp_22_ : bool init true;
global hacl_plycent02_plyrhel01_tcp_22_ : bool init true;
global hacl_plycent03_plyrhel01_tcp_22_ : bool init true;
global hacl_plycent04_plyrhel01_tcp_22_ : bool init true;
global hacl_plycent05_plyrhel01_tcp_22_ : bool init true;
global hacl_plydeb01_plyrhel01_tcp_22_ : bool init true;
global hacl_plyora01_plyrhel01_tcp_22_ : bool init true;
global hacl_plyprox01_plyrhel01_tcp_22_ : bool init true;
global hacl_plyrhel01_plyrhel01_tcp_22_ : bool init true;
global hacl_plyubu01_plyrhel01_tcp_22_ : bool init true;
global execCode_plyubu01_root_ : bool init false;
global vulExists_plyubu01__cve_2017_16939___ubu : bool init true;
global execCode_plyubu01_user_ : bool init false;
global netAccess_plyubu01_tcp_22_ : bool init false;
global hacl_plycent01_plyubu01_tcp_22_ : bool init true;
global hacl_plycent02_plyubu01_tcp_22_ : bool init true;
global hacl_plycent03_plyubu01_tcp_22_ : bool init true;
global hacl_plycent04_plyubu01_tcp_22_ : bool init true;
global hacl_plycent05_plyubu01_tcp_22_ : bool init true;
global hacl_plydeb01_plyubu01_tcp_22_ : bool init true;
global hacl_plyora01_plyubu01_tcp_22_ : bool init true;
global hacl_plyprox01_plyubu01_tcp_22_ : bool init true;
global hacl_plyrhel01_plyubu01_tcp_22_ : bool init true;
global hacl_plyubu01_plyubu01_tcp_22_ : bool init true;
global networkServiceInfo_plyubu01__ubuntu16_04 : bool init true;
global vulExists_plyubu01__cve_2017_18017___ubu : bool init true;
global canAccessHost_plyubu01_ : bool init false;
global logInService_plyubu01_tcp_22_ : bool init false;
global sshDaemon__ubuntu16_04__ : bool init true;
global vulExists_plyubu01__cve_2018_7566___ubun : bool init true;
global logInService_plyrhel01_tcp_22_ : bool init false;
global sshDaemon__redhatenterpriselinux7_5__ : bool init true;
global networkServiceInfo_plyrhel01__redhatente : bool init true;
global vulExists_plyrhel01__cve_2018_3136___red : bool init true;
global vulExists_plyrhel01__cve_2018_7566___red : bool init true;
global hacl_plyubu01_plyprox01_tcp_22_ : bool init true;
global logInService_plyprox01_tcp_22_ : bool init false;
global sshDaemon__centos7_5_1804__ : bool init true;
global networkServiceInfo_plyprox01__centos7_5_ : bool init true;
global vulExists_plyprox01__cve_2018_7566___cen : bool init true;
global hacl_plyrhel01_plyora01_tcp_22_ : bool init true;
global hacl_plyubu01_plyora01_tcp_22_ : bool init true;
global logInService_plyora01_tcp_22_ : bool init false;
global sshDaemon__oraclelinux7_5__ : bool init true;
global networkServiceInfo_plyora01__oraclelinux : bool init true;
global vulExists_plyora01__cve_2018_7566___orac : bool init true;
global hacl_plyprox01_plydeb01_tcp_22_ : bool init true;
global hacl_plyrhel01_plydeb01_tcp_22_ : bool init true;
global hacl_plyubu01_plydeb01_tcp_22_ : bool init true;
global networkServiceInfo_plydeb01__debian9_0__ : bool init true;
global vulExists_plydeb01__cve_2018_1000004___d : bool init true;
global canAccessHost_plydeb01_ : bool init false;
global logInService_plydeb01_tcp_22_ : bool init false;
global sshDaemon__debian9_0__ : bool init true;
global vulExists_plydeb01__cve_2018_7566___debi : bool init true;
global hacl_plyora01_plycent05_tcp_22_ : bool init true;
global hacl_plyprox01_plycent05_tcp_22_ : bool init true;
global hacl_plyrhel01_plycent05_tcp_22_ : bool init true;
global hacl_plyubu01_plycent05_tcp_22_ : bool init true;
global logInService_plycent05_tcp_22_ : bool init false;
global networkServiceInfo_plycent05__centos7_5_ : bool init true;
global vulExists_plycent05__cve_2016_8399___cen : bool init true;
global vulExists_plycent05__cve_2018_7566___cen : bool init true;
global hacl_plydeb01_plycent04_tcp_22_ : bool init true;
global hacl_plyora01_plycent04_tcp_22_ : bool init true;
global hacl_plyprox01_plycent04_tcp_22_ : bool init true;
global hacl_plyrhel01_plycent04_tcp_22_ : bool init true;
global hacl_plyubu01_plycent04_tcp_22_ : bool init true;
global logInService_plycent04_tcp_22_ : bool init false;
global networkServiceInfo_plycent04__centos7_5_ : bool init true;
global vulExists_plycent04__cve_2016_8399___cen : bool init true;
global vulExists_plycent04__cve_2018_7566___cen : bool init true;
global hacl_plycent05_plycent03_tcp_22_ : bool init true;
global hacl_plydeb01_plycent03_tcp_22_ : bool init true;
global hacl_plyora01_plycent03_tcp_22_ : bool init true;
global hacl_plyprox01_plycent03_tcp_22_ : bool init true;
global hacl_plyrhel01_plycent03_tcp_22_ : bool init true;
global hacl_plyubu01_plycent03_tcp_22_ : bool init true;
global hacl_internet_plycent03_tcp_22_ : bool init true;
global attackerLocated_internet_ : bool init true;
global logInService_plycent03_tcp_22_ : bool init false;
global networkServiceInfo_plycent03__centos7_5_ : bool init true;
global vulExists_plycent03__cve_2018_7566___cen : bool init true;
global hacl_plycent04_plycent01_tcp_22_ : bool init true;
global hacl_plycent05_plycent01_tcp_22_ : bool init true;
global hacl_plydeb01_plycent01_tcp_22_ : bool init true;
global hacl_plyora01_plycent01_tcp_22_ : bool init true;
global hacl_plyprox01_plycent01_tcp_22_ : bool init true;
global hacl_plyrhel01_plycent01_tcp_22_ : bool init true;
global hacl_plyubu01_plycent01_tcp_22_ : bool init true;
global logInService_plycent01_tcp_22_ : bool init false;
global networkServiceInfo_plycent01__centos7_5_ : bool init true;
global vulExists_plycent01__cve_2018_7566___cen : bool init true;
global hacl_plycent02_plycent02_tcp_22_ : bool init true;
global hacl_plycent03_plycent02_tcp_22_ : bool init true;
global hacl_plycent04_plycent02_tcp_22_ : bool init true;
global hacl_plycent05_plycent02_tcp_22_ : bool init true;
global hacl_plydeb01_plycent02_tcp_22_ : bool init true;
global hacl_plyora01_plycent02_tcp_22_ : bool init true;
global hacl_plyprox01_plycent02_tcp_22_ : bool init true;
global hacl_plyrhel01_plycent02_tcp_22_ : bool init true;
global hacl_plyubu01_plycent02_tcp_22_ : bool init true;
global hacl_internet_plycent02_tcp_22_ : bool init true;
global networkServiceInfo_plycent02__centos6_10 : bool init true;
global vulExists_plycent02__cve_2018_1000004___ : bool init true;
global canAccessHost_plycent02_ : bool init false;
global logInService_plycent02_tcp_22_ : bool init false;
global sshDaemon__centos6_10__ : bool init true;
global vulExists_plycent02__cve_2018_7566___cen : bool init true;
global misuseAction_overusememory_ : bool init true;
global scoreCvss_59__cve_2018_1000004__ : bool init true;
global scoreCvss_75__cve_2018_5390__ : bool init true;
global vulExists_plycent02__cve_2018_5390___cen : bool init true;
global t : [1..3] init 1;
module attacker1
[L_t2_RULE_12__local_DOS_t2_] misuseAction_overusecpu_ &
vulExists_plycent02__cve_2018_8897___cen &
execCode_plycent02_root_ &
!dos_plycent02_ & !dos_plycent02_ & (t=1) ->
0.7844: (dos_plycent02_' = true) & (t'=1) +0.14373333333333335: (t'=1) +0.07186666666666668: (t'=3);
[L_t6_RULE_15__local_exploit_t6_] execCode_plycent02_root_ &
vulExists_plycent02__cve_2017_9076___cen &
!execCode_plycent02_root_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plycent02_root_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t8_RULE_15__local_exploit_t8_] vulExists_plycent02__cve_2017_9076___cen &
execCode_plycent02_user_ &
!execCode_plycent02_root_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plycent02_root_' = true) & (t'=2) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t10_RULE_16__remote_exploit_of_a_server_progt10_] netAccess_plycent02_tcp_22_ &
networkServiceInfo_plycent02__centos6_10 &
vulExists_plycent02__cve_2018_1000004___ &
!execCode_plycent02_user_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plycent02_user_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t12_RULE_19__multi_hop_access_t12_] hacl_plycent01_plycent02_tcp_22_ &
execCode_plycent01_root_ &
!netAccess_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7217: (netAccess_plycent02_tcp_22_' = true) & (t'=1) +0.18553333333333333: (t'=1) +0.09276666666666666: (t'=3);
[L_t15_RULE_15__local_exploit_t15_] execCode_plycent01_root_ &
vulExists_plycent01__cve_2017_13215___ce &
!execCode_plycent01_root_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plycent01_root_' = true) & (t'=2) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t17_RULE_9__Tampering_the_code_memory_t17_] canAccessHost_plycent01_ &
vulExists_plycent01__cve_2018_7566___cen &
!execCode_plycent01_root_ & !dos_plycent02_ & (t=1) ->
0.5109: (execCode_plycent01_root_' = true) & (t'=1) +0.32606666666666667: (t'=1) +0.16303333333333334: (t'=3);
[L_t19_RULE_22__Access_a_host_through_executingt19_] execCode_plycent01_root_ &
!canAccessHost_plycent01_ & !dos_plycent02_ & (t=1) ->
0.7217: (canAccessHost_plycent01_' = true) & (t'=1) +0.18553333333333333: (t'=1) +0.09276666666666666: (t'=3);
[L_t20_RULE_23__Access_a_host_through_a_log_in_t20_] netAccess_plycent01_tcp_22_ &
logInService_plycent01_tcp_22_ &
!canAccessHost_plycent01_ & !dos_plycent02_ & (t=1) ->
0.6386: (canAccessHost_plycent01_' = true) & (t'=1) +0.24093333333333336: (t'=1) +0.12046666666666668: (t'=3);
[L_t22_RULE_19__multi_hop_access_t22_] execCode_plycent01_root_ &
hacl_plycent01_plycent01_tcp_22_ &
!netAccess_plycent01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t24_RULE_19__multi_hop_access_t24_] execCode_plycent02_root_ &
hacl_plycent02_plycent01_tcp_22_ &
!netAccess_plycent01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent01_tcp_22_' = true) & (t'=2) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t26_RULE_19__multi_hop_access_t26_] execCode_plycent02_user_ &
hacl_plycent02_plycent01_tcp_22_ &
!netAccess_plycent01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t27_RULE_19__multi_hop_access_t27_] hacl_plycent03_plycent01_tcp_22_ &
execCode_plycent03_root_ &
!netAccess_plycent01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plycent01_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t30_RULE_15__local_exploit_t30_] execCode_plycent03_root_ &
vulExists_plycent03__cve_2017_16939___ce &
!execCode_plycent03_root_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plycent03_root_' = true) & (t'=2) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t32_RULE_9__Tampering_the_code_memory_t32_] canAccessHost_plycent03_ &
vulExists_plycent03__cve_2018_7566___cen &
!execCode_plycent03_root_ & !dos_plycent02_ & (t=1) ->
0.512: (execCode_plycent03_root_' = true) & (t'=1) +0.3253333333333333: (t'=1) +0.16266666666666665: (t'=3);
[L_t34_RULE_22__Access_a_host_through_executingt34_] execCode_plycent03_root_ &
!canAccessHost_plycent03_ & !dos_plycent02_ & (t=1) ->
0.7219: (canAccessHost_plycent03_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t35_RULE_23__Access_a_host_through_a_log_in_t35_] netAccess_plycent03_tcp_22_ &
logInService_plycent03_tcp_22_ &
!canAccessHost_plycent03_ & !dos_plycent02_ & (t=1) ->
0.64: (canAccessHost_plycent03_' = true) & (t'=1) +0.24: (t'=1) +0.12: (t'=3);
[L_t37_RULE_19__multi_hop_access_t37_] execCode_plycent01_root_ &
hacl_plycent01_plycent03_tcp_22_ &
!netAccess_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent03_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t39_RULE_19__multi_hop_access_t39_] execCode_plycent02_root_ &
hacl_plycent02_plycent03_tcp_22_ &
!netAccess_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent03_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t41_RULE_19__multi_hop_access_t41_] execCode_plycent02_user_ &
hacl_plycent02_plycent03_tcp_22_ &
!netAccess_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent03_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t42_RULE_19__multi_hop_access_t42_] execCode_plycent03_root_ &
hacl_plycent03_plycent03_tcp_22_ &
!netAccess_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent03_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t44_RULE_19__multi_hop_access_t44_] hacl_plycent04_plycent03_tcp_22_ &
execCode_plycent04_root_ &
!netAccess_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7844: (netAccess_plycent03_tcp_22_' = true) & (t'=1) +0.14373333333333335: (t'=1) +0.07186666666666668: (t'=3);
[L_t47_RULE_15__local_exploit_t47_] execCode_plycent04_root_ &
vulExists_plycent04__cve_2017_11176___ce &
!execCode_plycent04_root_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plycent04_root_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t49_RULE_9__Tampering_the_code_memory_t49_] canAccessHost_plycent04_ &
vulExists_plycent04__cve_2016_8399___cen &
!execCode_plycent04_root_ & !dos_plycent02_ & (t=1) ->
0.512: (execCode_plycent04_root_' = true) & (t'=1) +0.3253333333333333: (t'=1) +0.16266666666666665: (t'=3);
[L_t51_RULE_22__Access_a_host_through_executingt51_] execCode_plycent04_root_ &
!canAccessHost_plycent04_ & !dos_plycent02_ & (t=1) ->
0.7844: (canAccessHost_plycent04_' = true) & (t'=1) +0.14373333333333335: (t'=1) +0.07186666666666668: (t'=3);
[L_t52_RULE_23__Access_a_host_through_a_log_in_t52_] netAccess_plycent04_tcp_22_ &
logInService_plycent04_tcp_22_ &
!canAccessHost_plycent04_ & !dos_plycent02_ & (t=1) ->
0.64: (canAccessHost_plycent04_' = true) & (t'=1) +0.24: (t'=1) +0.12: (t'=3);
[L_t54_RULE_19__multi_hop_access_t54_] execCode_plycent01_root_ &
hacl_plycent01_plycent04_tcp_22_ &
!netAccess_plycent04_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent04_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t56_RULE_19__multi_hop_access_t56_] execCode_plycent02_root_ &
hacl_plycent02_plycent04_tcp_22_ &
!netAccess_plycent04_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent04_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t58_RULE_19__multi_hop_access_t58_] execCode_plycent02_user_ &
hacl_plycent02_plycent04_tcp_22_ &
!netAccess_plycent04_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent04_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t59_RULE_19__multi_hop_access_t59_] execCode_plycent03_root_ &
hacl_plycent03_plycent04_tcp_22_ &
!netAccess_plycent04_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent04_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t61_RULE_19__multi_hop_access_t61_] execCode_plycent04_root_ &
hacl_plycent04_plycent04_tcp_22_ &
!netAccess_plycent04_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent04_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t63_RULE_19__multi_hop_access_t63_] hacl_plycent05_plycent04_tcp_22_ &
execCode_plycent05_root_ &
!netAccess_plycent04_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plycent04_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t66_RULE_15__local_exploit_t66_] execCode_plycent05_root_ &
vulExists_plycent05__cve_2017_13215___ce &
!execCode_plycent05_root_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plycent05_root_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t68_RULE_9__Tampering_the_code_memory_t68_] canAccessHost_plycent05_ &
vulExists_plycent05__cve_2016_8399___cen &
!execCode_plycent05_root_ & !dos_plycent02_ & (t=1) ->
0.512: (execCode_plycent05_root_' = true) & (t'=1) +0.3253333333333333: (t'=1) +0.16266666666666665: (t'=3);
[L_t70_RULE_22__Access_a_host_through_executingt70_] execCode_plycent05_root_ &
!canAccessHost_plycent05_ & !dos_plycent02_ & (t=1) ->
0.7219: (canAccessHost_plycent05_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t71_RULE_23__Access_a_host_through_a_log_in_t71_] netAccess_plycent05_tcp_22_ &
logInService_plycent05_tcp_22_ &
!canAccessHost_plycent05_ & !dos_plycent02_ & (t=1) ->
0.64: (canAccessHost_plycent05_' = true) & (t'=1) +0.24: (t'=1) +0.12: (t'=3);
[L_t73_RULE_19__multi_hop_access_t73_] execCode_plycent01_root_ &
hacl_plycent01_plycent05_tcp_22_ &
!netAccess_plycent05_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent05_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t75_RULE_19__multi_hop_access_t75_] execCode_plycent02_root_ &
hacl_plycent02_plycent05_tcp_22_ &
!netAccess_plycent05_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent05_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t77_RULE_19__multi_hop_access_t77_] execCode_plycent02_user_ &
hacl_plycent02_plycent05_tcp_22_ &
!netAccess_plycent05_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent05_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t78_RULE_19__multi_hop_access_t78_] execCode_plycent03_root_ &
hacl_plycent03_plycent05_tcp_22_ &
!netAccess_plycent05_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent05_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t80_RULE_19__multi_hop_access_t80_] execCode_plycent04_root_ &
hacl_plycent04_plycent05_tcp_22_ &
!netAccess_plycent05_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent05_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t82_RULE_19__multi_hop_access_t82_] execCode_plycent05_root_ &
hacl_plycent05_plycent05_tcp_22_ &
!netAccess_plycent05_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent05_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t84_RULE_19__multi_hop_access_t84_] hacl_plydeb01_plycent05_tcp_22_ &
execCode_plydeb01_root_ &
!netAccess_plycent05_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7844: (netAccess_plycent05_tcp_22_' = true) & (t'=1) +0.14373333333333335: (t'=1) +0.07186666666666668: (t'=3);
[L_t87_RULE_15__local_exploit_t87_] execCode_plydeb01_root_ &
vulExists_plydeb01__cve_2018_1087___debi &
!execCode_plydeb01_root_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plydeb01_root_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t89_RULE_15__local_exploit_t89_] vulExists_plydeb01__cve_2018_1087___debi &
execCode_plydeb01_user_ &
!execCode_plydeb01_root_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plydeb01_root_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t91_RULE_16__remote_exploit_of_a_server_progt91_] netAccess_plydeb01_tcp_22_ &
networkServiceInfo_plydeb01__debian9_0__ &
vulExists_plydeb01__cve_2018_1000004___d &
!execCode_plydeb01_user_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plydeb01_user_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t93_RULE_19__multi_hop_access_t93_] execCode_plycent01_root_ &
hacl_plycent01_plydeb01_tcp_22_ &
!netAccess_plydeb01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plydeb01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t95_RULE_19__multi_hop_access_t95_] execCode_plycent02_root_ &
hacl_plycent02_plydeb01_tcp_22_ &
!netAccess_plydeb01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plydeb01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t97_RULE_19__multi_hop_access_t97_] execCode_plycent02_user_ &
hacl_plycent02_plydeb01_tcp_22_ &
!netAccess_plydeb01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plydeb01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t98_RULE_19__multi_hop_access_t98_] execCode_plycent03_root_ &
hacl_plycent03_plydeb01_tcp_22_ &
!netAccess_plydeb01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plydeb01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t100_RULE_19__multi_hop_access_t100_] execCode_plycent04_root_ &
hacl_plycent04_plydeb01_tcp_22_ &
!netAccess_plydeb01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plydeb01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t102_RULE_19__multi_hop_access_t102_] execCode_plycent05_root_ &
hacl_plycent05_plydeb01_tcp_22_ &
!netAccess_plydeb01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plydeb01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t104_RULE_19__multi_hop_access_t104_] execCode_plydeb01_root_ &
hacl_plydeb01_plydeb01_tcp_22_ &
!netAccess_plydeb01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plydeb01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t106_RULE_19__multi_hop_access_t106_] execCode_plydeb01_user_ &
hacl_plydeb01_plydeb01_tcp_22_ &
!netAccess_plydeb01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plydeb01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t107_RULE_19__multi_hop_access_t107_] hacl_plyora01_plydeb01_tcp_22_ &
execCode_plyora01_root_ &
!netAccess_plydeb01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plydeb01_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t110_RULE_15__local_exploit_t110_] execCode_plyora01_root_ &
vulExists_plyora01__cve_2017_7294___orac &
!execCode_plyora01_root_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plyora01_root_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t112_RULE_9__Tampering_the_code_memory_t112_] canAccessHost_plyora01_ &
vulExists_plyora01__cve_2018_7566___orac &
!execCode_plyora01_root_ & !dos_plycent02_ & (t=1) ->
0.512: (execCode_plyora01_root_' = true) & (t'=1) +0.3253333333333333: (t'=1) +0.16266666666666665: (t'=3);
[L_t114_RULE_22__Access_a_host_through_executingt114_] execCode_plyora01_root_ &
!canAccessHost_plyora01_ & !dos_plycent02_ & (t=1) ->
0.7219: (canAccessHost_plyora01_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t115_RULE_23__Access_a_host_through_a_log_in_t115_] netAccess_plyora01_tcp_22_ &
logInService_plyora01_tcp_22_ &
!canAccessHost_plyora01_ & !dos_plycent02_ & (t=1) ->
0.64: (canAccessHost_plyora01_' = true) & (t'=1) +0.24: (t'=1) +0.12: (t'=3);
[L_t117_RULE_19__multi_hop_access_t117_] execCode_plycent01_root_ &
hacl_plycent01_plyora01_tcp_22_ &
!netAccess_plyora01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyora01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t119_RULE_19__multi_hop_access_t119_] execCode_plycent02_root_ &
hacl_plycent02_plyora01_tcp_22_ &
!netAccess_plyora01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyora01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t121_RULE_19__multi_hop_access_t121_] execCode_plycent02_user_ &
hacl_plycent02_plyora01_tcp_22_ &
!netAccess_plyora01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyora01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t122_RULE_19__multi_hop_access_t122_] execCode_plycent03_root_ &
hacl_plycent03_plyora01_tcp_22_ &
!netAccess_plyora01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyora01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t124_RULE_19__multi_hop_access_t124_] execCode_plycent04_root_ &
hacl_plycent04_plyora01_tcp_22_ &
!netAccess_plyora01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyora01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t126_RULE_19__multi_hop_access_t126_] execCode_plycent05_root_ &
hacl_plycent05_plyora01_tcp_22_ &
!netAccess_plyora01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyora01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t128_RULE_19__multi_hop_access_t128_] execCode_plydeb01_root_ &
hacl_plydeb01_plyora01_tcp_22_ &
!netAccess_plyora01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyora01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t130_RULE_19__multi_hop_access_t130_] execCode_plydeb01_user_ &
hacl_plydeb01_plyora01_tcp_22_ &
!netAccess_plyora01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyora01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t131_RULE_19__multi_hop_access_t131_] execCode_plyora01_root_ &
hacl_plyora01_plyora01_tcp_22_ &
!netAccess_plyora01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyora01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t133_RULE_19__multi_hop_access_t133_] hacl_plyprox01_plyora01_tcp_22_ &
execCode_plyprox01_root_ &
!netAccess_plyora01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plyora01_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t136_RULE_15__local_exploit_t136_] execCode_plyprox01_root_ &
vulExists_plyprox01__cve_2017_13215___ce &
!execCode_plyprox01_root_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plyprox01_root_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t138_RULE_9__Tampering_the_code_memory_t138_] canAccessHost_plyprox01_ &
vulExists_plyprox01__cve_2018_7566___cen &
!execCode_plyprox01_root_ & !dos_plycent02_ & (t=1) ->
0.512: (execCode_plyprox01_root_' = true) & (t'=1) +0.3253333333333333: (t'=1) +0.16266666666666665: (t'=3);
[L_t140_RULE_22__Access_a_host_through_executingt140_] execCode_plyprox01_root_ &
!canAccessHost_plyprox01_ & !dos_plycent02_ & (t=1) ->
0.7219: (canAccessHost_plyprox01_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t141_RULE_23__Access_a_host_through_a_log_in_t141_] netAccess_plyprox01_tcp_22_ &
logInService_plyprox01_tcp_22_ &
!canAccessHost_plyprox01_ & !dos_plycent02_ & (t=1) ->
0.64: (canAccessHost_plyprox01_' = true) & (t'=1) +0.24: (t'=1) +0.12: (t'=3);
[L_t143_RULE_19__multi_hop_access_t143_] execCode_plycent01_root_ &
hacl_plycent01_plyprox01_tcp_22_ &
!netAccess_plyprox01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyprox01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t145_RULE_19__multi_hop_access_t145_] execCode_plycent02_root_ &
hacl_plycent02_plyprox01_tcp_22_ &
!netAccess_plyprox01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyprox01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t147_RULE_19__multi_hop_access_t147_] execCode_plycent02_user_ &
hacl_plycent02_plyprox01_tcp_22_ &
!netAccess_plyprox01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyprox01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t148_RULE_19__multi_hop_access_t148_] execCode_plycent03_root_ &
hacl_plycent03_plyprox01_tcp_22_ &
!netAccess_plyprox01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyprox01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t150_RULE_19__multi_hop_access_t150_] execCode_plycent04_root_ &
hacl_plycent04_plyprox01_tcp_22_ &
!netAccess_plyprox01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyprox01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t152_RULE_19__multi_hop_access_t152_] execCode_plycent05_root_ &
hacl_plycent05_plyprox01_tcp_22_ &
!netAccess_plyprox01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyprox01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t154_RULE_19__multi_hop_access_t154_] execCode_plydeb01_root_ &
hacl_plydeb01_plyprox01_tcp_22_ &
!netAccess_plyprox01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyprox01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t156_RULE_19__multi_hop_access_t156_] execCode_plydeb01_user_ &
hacl_plydeb01_plyprox01_tcp_22_ &
!netAccess_plyprox01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyprox01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t157_RULE_19__multi_hop_access_t157_] execCode_plyora01_root_ &
hacl_plyora01_plyprox01_tcp_22_ &
!netAccess_plyprox01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyprox01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t159_RULE_19__multi_hop_access_t159_] execCode_plyprox01_root_ &
hacl_plyprox01_plyprox01_tcp_22_ &
!netAccess_plyprox01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyprox01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t161_RULE_19__multi_hop_access_t161_] hacl_plyrhel01_plyprox01_tcp_22_ &
execCode_plyrhel01_root_ &
!netAccess_plyprox01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plyprox01_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t164_RULE_9__Tampering_the_code_memory_t164_] canAccessHost_plyrhel01_ &
vulExists_plyrhel01__cve_2018_3136___red &
!execCode_plyrhel01_root_ & !dos_plycent02_ & (t=1) ->
0.512: (execCode_plyrhel01_root_' = true) & (t'=1) +0.3253333333333333: (t'=1) +0.16266666666666665: (t'=3);
[L_t166_RULE_22__Access_a_host_through_executingt166_] execCode_plyrhel01_root_ &
!canAccessHost_plyrhel01_ & !dos_plycent02_ & (t=1) ->
0.7219: (canAccessHost_plyrhel01_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t167_RULE_23__Access_a_host_through_a_log_in_t167_] netAccess_plyrhel01_tcp_22_ &
logInService_plyrhel01_tcp_22_ &
!canAccessHost_plyrhel01_ & !dos_plycent02_ & (t=1) ->
0.64: (canAccessHost_plyrhel01_' = true) & (t'=1) +0.24: (t'=1) +0.12: (t'=3);
[L_t169_RULE_19__multi_hop_access_t169_] execCode_plycent01_root_ &
hacl_plycent01_plyrhel01_tcp_22_ &
!netAccess_plyrhel01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyrhel01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t171_RULE_19__multi_hop_access_t171_] execCode_plycent02_root_ &
hacl_plycent02_plyrhel01_tcp_22_ &
!netAccess_plyrhel01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyrhel01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t173_RULE_19__multi_hop_access_t173_] execCode_plycent02_user_ &
hacl_plycent02_plyrhel01_tcp_22_ &
!netAccess_plyrhel01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyrhel01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t174_RULE_19__multi_hop_access_t174_] execCode_plycent03_root_ &
hacl_plycent03_plyrhel01_tcp_22_ &
!netAccess_plyrhel01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyrhel01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t176_RULE_19__multi_hop_access_t176_] execCode_plycent04_root_ &
hacl_plycent04_plyrhel01_tcp_22_ &
!netAccess_plyrhel01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyrhel01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t178_RULE_19__multi_hop_access_t178_] execCode_plycent05_root_ &
hacl_plycent05_plyrhel01_tcp_22_ &
!netAccess_plyrhel01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyrhel01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t180_RULE_19__multi_hop_access_t180_] execCode_plydeb01_root_ &
hacl_plydeb01_plyrhel01_tcp_22_ &
!netAccess_plyrhel01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyrhel01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t182_RULE_19__multi_hop_access_t182_] execCode_plydeb01_user_ &
hacl_plydeb01_plyrhel01_tcp_22_ &
!netAccess_plyrhel01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyrhel01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t183_RULE_19__multi_hop_access_t183_] execCode_plyora01_root_ &
hacl_plyora01_plyrhel01_tcp_22_ &
!netAccess_plyrhel01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyrhel01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t185_RULE_19__multi_hop_access_t185_] execCode_plyprox01_root_ &
hacl_plyprox01_plyrhel01_tcp_22_ &
!netAccess_plyrhel01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyrhel01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t187_RULE_19__multi_hop_access_t187_] execCode_plyrhel01_root_ &
hacl_plyrhel01_plyrhel01_tcp_22_ &
!netAccess_plyrhel01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyrhel01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t189_RULE_19__multi_hop_access_t189_] hacl_plyubu01_plyrhel01_tcp_22_ &
execCode_plyubu01_root_ &
!netAccess_plyrhel01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.768: (netAccess_plyrhel01_tcp_22_' = true) & (t'=1) +0.15466666666666665: (t'=1) +0.07733333333333332: (t'=3);
[L_t192_RULE_15__local_exploit_t192_] execCode_plyubu01_root_ &
vulExists_plyubu01__cve_2017_16939___ubu &
!execCode_plyubu01_root_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plyubu01_root_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t194_RULE_15__local_exploit_t194_] vulExists_plyubu01__cve_2017_16939___ubu &
execCode_plyubu01_user_ &
!execCode_plyubu01_root_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plyubu01_root_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t196_RULE_16__remote_exploit_of_a_server_progt196_] netAccess_plyubu01_tcp_22_ &
networkServiceInfo_plyubu01__ubuntu16_04 &
vulExists_plyubu01__cve_2017_18017___ubu &
!execCode_plyubu01_user_ & !dos_plycent02_ & (t=1) ->
0.64: (execCode_plyubu01_user_' = true) & (t'=1) +0.24: (t'=1) +0.12: (t'=3);
[L_t198_RULE_19__multi_hop_access_t198_] execCode_plycent01_root_ &
hacl_plycent01_plyubu01_tcp_22_ &
!netAccess_plyubu01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyubu01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t200_RULE_19__multi_hop_access_t200_] execCode_plycent02_root_ &
hacl_plycent02_plyubu01_tcp_22_ &
!netAccess_plyubu01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyubu01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t202_RULE_19__multi_hop_access_t202_] execCode_plycent02_user_ &
hacl_plycent02_plyubu01_tcp_22_ &
!netAccess_plyubu01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyubu01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t203_RULE_19__multi_hop_access_t203_] execCode_plycent03_root_ &
hacl_plycent03_plyubu01_tcp_22_ &
!netAccess_plyubu01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyubu01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t205_RULE_19__multi_hop_access_t205_] execCode_plycent04_root_ &
hacl_plycent04_plyubu01_tcp_22_ &
!netAccess_plyubu01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyubu01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t207_RULE_19__multi_hop_access_t207_] execCode_plycent05_root_ &
hacl_plycent05_plyubu01_tcp_22_ &
!netAccess_plyubu01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyubu01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t209_RULE_19__multi_hop_access_t209_] execCode_plydeb01_root_ &
hacl_plydeb01_plyubu01_tcp_22_ &
!netAccess_plyubu01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyubu01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t211_RULE_19__multi_hop_access_t211_] execCode_plydeb01_user_ &
hacl_plydeb01_plyubu01_tcp_22_ &
!netAccess_plyubu01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyubu01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t212_RULE_19__multi_hop_access_t212_] execCode_plyora01_root_ &
hacl_plyora01_plyubu01_tcp_22_ &
!netAccess_plyubu01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyubu01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t214_RULE_19__multi_hop_access_t214_] execCode_plyprox01_root_ &
hacl_plyprox01_plyubu01_tcp_22_ &
!netAccess_plyubu01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyubu01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t216_RULE_19__multi_hop_access_t216_] execCode_plyrhel01_root_ &
hacl_plyrhel01_plyubu01_tcp_22_ &
!netAccess_plyubu01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyubu01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t218_RULE_19__multi_hop_access_t218_] execCode_plyubu01_root_ &
hacl_plyubu01_plyubu01_tcp_22_ &
!netAccess_plyubu01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.768: (netAccess_plyubu01_tcp_22_' = true) & (t'=1) +0.15466666666666665: (t'=1) +0.07733333333333332: (t'=3);
[L_t220_RULE_19__multi_hop_access_t220_] execCode_plyubu01_user_ &
hacl_plyubu01_plyubu01_tcp_22_ &
!netAccess_plyubu01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyubu01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t223_RULE_9__Tampering_the_code_memory_t223_] canAccessHost_plyubu01_ &
vulExists_plyubu01__cve_2018_7566___ubun &
!execCode_plyubu01_root_ & !dos_plycent02_ & (t=1) ->
0.4096: (execCode_plyubu01_root_' = true) & (t'=1) +0.3936: (t'=1) +0.1968: (t'=3);
[L_t225_RULE_22__Access_a_host_through_executingt225_] execCode_plyubu01_root_ &
!canAccessHost_plyubu01_ & !dos_plycent02_ & (t=1) ->
0.768: (canAccessHost_plyubu01_' = true) & (t'=1) +0.15466666666666665: (t'=1) +0.07733333333333332: (t'=3);
[L_t226_RULE_22__Access_a_host_through_executingt226_] execCode_plyubu01_user_ &
!canAccessHost_plyubu01_ & !dos_plycent02_ & (t=1) ->
0.512: (canAccessHost_plyubu01_' = true) & (t'=1) +0.3253333333333333: (t'=1) +0.16266666666666665: (t'=3);
[L_t227_RULE_23__Access_a_host_through_a_log_in_t227_] netAccess_plyubu01_tcp_22_ &
logInService_plyubu01_tcp_22_ &
!canAccessHost_plyubu01_ & !dos_plycent02_ & (t=1) ->
0.512: (canAccessHost_plyubu01_' = true) & (t'=1) +0.3253333333333333: (t'=1) +0.16266666666666665: (t'=3);
[L_t229_RULE_27__remote_ssh_to_a_host_t229_] networkServiceInfo_plyubu01__ubuntu16_04 &
sshDaemon__ubuntu16_04__ &
!logInService_plyubu01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (logInService_plyubu01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t232_RULE_19__multi_hop_access_t232_] hacl_plyubu01_plyrhel01_tcp_22_ &
execCode_plyubu01_user_ &
!netAccess_plyrhel01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyrhel01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t234_RULE_27__remote_ssh_to_a_host_t234_] sshDaemon__redhatenterpriselinux7_5__ &
networkServiceInfo_plyrhel01__redhatente &
!logInService_plyrhel01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (logInService_plyrhel01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t238_RULE_9__Tampering_the_code_memory_t238_] canAccessHost_plyrhel01_ &
vulExists_plyrhel01__cve_2018_7566___red &
!execCode_plyrhel01_root_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plyrhel01_root_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t240_RULE_19__multi_hop_access_t240_] execCode_plyubu01_root_ &
hacl_plyubu01_plyprox01_tcp_22_ &
!netAccess_plyprox01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyprox01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t242_RULE_19__multi_hop_access_t242_] execCode_plyubu01_user_ &
hacl_plyubu01_plyprox01_tcp_22_ &
!netAccess_plyprox01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyprox01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t244_RULE_27__remote_ssh_to_a_host_t244_] sshDaemon__centos7_5_1804__ &
networkServiceInfo_plyprox01__centos7_5_ &
!logInService_plyprox01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (logInService_plyprox01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t248_RULE_19__multi_hop_access_t248_] execCode_plyrhel01_root_ &
hacl_plyrhel01_plyora01_tcp_22_ &
!netAccess_plyora01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyora01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t250_RULE_19__multi_hop_access_t250_] execCode_plyubu01_root_ &
hacl_plyubu01_plyora01_tcp_22_ &
!netAccess_plyora01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyora01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t252_RULE_19__multi_hop_access_t252_] execCode_plyubu01_user_ &
hacl_plyubu01_plyora01_tcp_22_ &
!netAccess_plyora01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plyora01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t254_RULE_27__remote_ssh_to_a_host_t254_] sshDaemon__oraclelinux7_5__ &
networkServiceInfo_plyora01__oraclelinux &
!logInService_plyora01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (logInService_plyora01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t258_RULE_19__multi_hop_access_t258_] execCode_plyprox01_root_ &
hacl_plyprox01_plydeb01_tcp_22_ &
!netAccess_plydeb01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plydeb01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t260_RULE_19__multi_hop_access_t260_] execCode_plyrhel01_root_ &
hacl_plyrhel01_plydeb01_tcp_22_ &
!netAccess_plydeb01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plydeb01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t262_RULE_19__multi_hop_access_t262_] execCode_plyubu01_root_ &
hacl_plyubu01_plydeb01_tcp_22_ &
!netAccess_plydeb01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plydeb01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t264_RULE_19__multi_hop_access_t264_] execCode_plyubu01_user_ &
hacl_plyubu01_plydeb01_tcp_22_ &
!netAccess_plydeb01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plydeb01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t267_RULE_9__Tampering_the_code_memory_t267_] canAccessHost_plydeb01_ &
vulExists_plydeb01__cve_2018_7566___debi &
!execCode_plydeb01_root_ & !dos_plycent02_ & (t=1) ->
0.512: (execCode_plydeb01_root_' = true) & (t'=1) +0.3253333333333333: (t'=1) +0.16266666666666665: (t'=3);
[L_t269_RULE_22__Access_a_host_through_executingt269_] execCode_plydeb01_root_ &
!canAccessHost_plydeb01_ & !dos_plycent02_ & (t=1) ->
0.7844: (canAccessHost_plydeb01_' = true) & (t'=1) +0.14373333333333335: (t'=1) +0.07186666666666668: (t'=3);
[L_t270_RULE_22__Access_a_host_through_executingt270_] execCode_plydeb01_user_ &
!canAccessHost_plydeb01_ & !dos_plycent02_ & (t=1) ->
0.64: (canAccessHost_plydeb01_' = true) & (t'=1) +0.24: (t'=1) +0.12: (t'=3);
[L_t271_RULE_23__Access_a_host_through_a_log_in_t271_] netAccess_plydeb01_tcp_22_ &
logInService_plydeb01_tcp_22_ &
!canAccessHost_plydeb01_ & !dos_plycent02_ & (t=1) ->
0.64: (canAccessHost_plydeb01_' = true) & (t'=1) +0.24: (t'=1) +0.12: (t'=3);
[L_t273_RULE_27__remote_ssh_to_a_host_t273_] networkServiceInfo_plydeb01__debian9_0__ &
sshDaemon__debian9_0__ &
!logInService_plydeb01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (logInService_plydeb01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t276_RULE_19__multi_hop_access_t276_] hacl_plydeb01_plycent05_tcp_22_ &
execCode_plydeb01_user_ &
!netAccess_plycent05_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent05_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t277_RULE_19__multi_hop_access_t277_] execCode_plyora01_root_ &
hacl_plyora01_plycent05_tcp_22_ &
!netAccess_plycent05_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent05_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t279_RULE_19__multi_hop_access_t279_] execCode_plyprox01_root_ &
hacl_plyprox01_plycent05_tcp_22_ &
!netAccess_plycent05_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent05_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t281_RULE_19__multi_hop_access_t281_] execCode_plyrhel01_root_ &
hacl_plyrhel01_plycent05_tcp_22_ &
!netAccess_plycent05_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent05_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t283_RULE_19__multi_hop_access_t283_] execCode_plyubu01_root_ &
hacl_plyubu01_plycent05_tcp_22_ &
!netAccess_plycent05_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent05_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t285_RULE_19__multi_hop_access_t285_] execCode_plyubu01_user_ &
hacl_plyubu01_plycent05_tcp_22_ &
!netAccess_plycent05_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent05_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t287_RULE_27__remote_ssh_to_a_host_t287_] sshDaemon__centos7_5_1804__ &
networkServiceInfo_plycent05__centos7_5_ &
!logInService_plycent05_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (logInService_plycent05_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t290_RULE_9__Tampering_the_code_memory_t290_] canAccessHost_plycent05_ &
vulExists_plycent05__cve_2018_7566___cen &
!execCode_plycent05_root_ & !dos_plycent02_ & (t=1) ->
0.512: (execCode_plycent05_root_' = true) & (t'=1) +0.3253333333333333: (t'=1) +0.16266666666666665: (t'=3);
[L_t292_RULE_19__multi_hop_access_t292_] execCode_plydeb01_root_ &
hacl_plydeb01_plycent04_tcp_22_ &
!netAccess_plycent04_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7844: (netAccess_plycent04_tcp_22_' = true) & (t'=1) +0.14373333333333335: (t'=1) +0.07186666666666668: (t'=3);
[L_t294_RULE_19__multi_hop_access_t294_] execCode_plydeb01_user_ &
hacl_plydeb01_plycent04_tcp_22_ &
!netAccess_plycent04_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent04_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t295_RULE_19__multi_hop_access_t295_] execCode_plyora01_root_ &
hacl_plyora01_plycent04_tcp_22_ &
!netAccess_plycent04_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plycent04_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t297_RULE_19__multi_hop_access_t297_] execCode_plyprox01_root_ &
hacl_plyprox01_plycent04_tcp_22_ &
!netAccess_plycent04_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plycent04_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t299_RULE_19__multi_hop_access_t299_] execCode_plyrhel01_root_ &
hacl_plyrhel01_plycent04_tcp_22_ &
!netAccess_plycent04_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plycent04_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t301_RULE_19__multi_hop_access_t301_] execCode_plyubu01_root_ &
hacl_plyubu01_plycent04_tcp_22_ &
!netAccess_plycent04_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent04_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t303_RULE_19__multi_hop_access_t303_] execCode_plyubu01_user_ &
hacl_plyubu01_plycent04_tcp_22_ &
!netAccess_plycent04_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent04_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t305_RULE_27__remote_ssh_to_a_host_t305_] sshDaemon__centos7_5_1804__ &
networkServiceInfo_plycent04__centos7_5_ &
!logInService_plycent04_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (logInService_plycent04_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t308_RULE_9__Tampering_the_code_memory_t308_] canAccessHost_plycent04_ &
vulExists_plycent04__cve_2018_7566___cen &
!execCode_plycent04_root_ & !dos_plycent02_ & (t=1) ->
0.8: (execCode_plycent04_root_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t310_RULE_19__multi_hop_access_t310_] execCode_plycent05_root_ &
hacl_plycent05_plycent03_tcp_22_ &
!netAccess_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent03_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t312_RULE_19__multi_hop_access_t312_] execCode_plydeb01_root_ &
hacl_plydeb01_plycent03_tcp_22_ &
!netAccess_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent03_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t314_RULE_19__multi_hop_access_t314_] execCode_plydeb01_user_ &
hacl_plydeb01_plycent03_tcp_22_ &
!netAccess_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent03_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t315_RULE_19__multi_hop_access_t315_] execCode_plyora01_root_ &
hacl_plyora01_plycent03_tcp_22_ &
!netAccess_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent03_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t317_RULE_19__multi_hop_access_t317_] execCode_plyprox01_root_ &
hacl_plyprox01_plycent03_tcp_22_ &
!netAccess_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent03_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t319_RULE_19__multi_hop_access_t319_] execCode_plyrhel01_root_ &
hacl_plyrhel01_plycent03_tcp_22_ &
!netAccess_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent03_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t321_RULE_19__multi_hop_access_t321_] execCode_plyubu01_root_ &
hacl_plyubu01_plycent03_tcp_22_ &
!netAccess_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent03_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t323_RULE_19__multi_hop_access_t323_] execCode_plyubu01_user_ &
hacl_plyubu01_plycent03_tcp_22_ &
!netAccess_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent03_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t324_RULE_20__direct_network_access_t324_] hacl_internet_plycent03_tcp_22_ &
attackerLocated_internet_ &
!netAccess_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent03_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t328_RULE_27__remote_ssh_to_a_host_t328_] sshDaemon__centos7_5_1804__ &
networkServiceInfo_plycent03__centos7_5_ &
!logInService_plycent03_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (logInService_plycent03_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t331_RULE_19__multi_hop_access_t331_] execCode_plycent04_root_ &
hacl_plycent04_plycent01_tcp_22_ &
!netAccess_plycent01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7844: (netAccess_plycent01_tcp_22_' = true) & (t'=1) +0.14373333333333335: (t'=1) +0.07186666666666668: (t'=3);
[L_t333_RULE_19__multi_hop_access_t333_] execCode_plycent05_root_ &
hacl_plycent05_plycent01_tcp_22_ &
!netAccess_plycent01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plycent01_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t335_RULE_19__multi_hop_access_t335_] execCode_plydeb01_root_ &
hacl_plydeb01_plycent01_tcp_22_ &
!netAccess_plycent01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7844: (netAccess_plycent01_tcp_22_' = true) & (t'=1) +0.14373333333333335: (t'=1) +0.07186666666666668: (t'=3);
[L_t337_RULE_19__multi_hop_access_t337_] execCode_plydeb01_user_ &
hacl_plydeb01_plycent01_tcp_22_ &
!netAccess_plycent01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t338_RULE_19__multi_hop_access_t338_] execCode_plyora01_root_ &
hacl_plyora01_plycent01_tcp_22_ &
!netAccess_plycent01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plycent01_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t340_RULE_19__multi_hop_access_t340_] execCode_plyprox01_root_ &
hacl_plyprox01_plycent01_tcp_22_ &
!netAccess_plycent01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plycent01_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t342_RULE_19__multi_hop_access_t342_] execCode_plyrhel01_root_ &
hacl_plyrhel01_plycent01_tcp_22_ &
!netAccess_plycent01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plycent01_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t344_RULE_19__multi_hop_access_t344_] execCode_plyubu01_root_ &
hacl_plyubu01_plycent01_tcp_22_ &
!netAccess_plycent01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.768: (netAccess_plycent01_tcp_22_' = true) & (t'=1) +0.15466666666666665: (t'=1) +0.07733333333333332: (t'=3);
[L_t346_RULE_19__multi_hop_access_t346_] execCode_plyubu01_user_ &
hacl_plyubu01_plycent01_tcp_22_ &
!netAccess_plycent01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t348_RULE_27__remote_ssh_to_a_host_t348_] sshDaemon__centos7_5_1804__ &
networkServiceInfo_plycent01__centos7_5_ &
!logInService_plycent01_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (logInService_plycent01_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t351_RULE_19__multi_hop_access_t351_] execCode_plycent02_root_ &
hacl_plycent02_plycent02_tcp_22_ &
!netAccess_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent02_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t353_RULE_19__multi_hop_access_t353_] execCode_plycent02_user_ &
hacl_plycent02_plycent02_tcp_22_ &
!netAccess_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent02_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t354_RULE_19__multi_hop_access_t354_] execCode_plycent03_root_ &
hacl_plycent03_plycent02_tcp_22_ &
!netAccess_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent02_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t356_RULE_19__multi_hop_access_t356_] execCode_plycent04_root_ &
hacl_plycent04_plycent02_tcp_22_ &
!netAccess_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7844: (netAccess_plycent02_tcp_22_' = true) & (t'=1) +0.14373333333333335: (t'=1) +0.07186666666666668: (t'=3);
[L_t358_RULE_19__multi_hop_access_t358_] execCode_plycent05_root_ &
hacl_plycent05_plycent02_tcp_22_ &
!netAccess_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plycent02_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t360_RULE_19__multi_hop_access_t360_] execCode_plydeb01_root_ &
hacl_plydeb01_plycent02_tcp_22_ &
!netAccess_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7844: (netAccess_plycent02_tcp_22_' = true) & (t'=1) +0.14373333333333335: (t'=1) +0.07186666666666668: (t'=3);
[L_t362_RULE_19__multi_hop_access_t362_] execCode_plydeb01_user_ &
hacl_plydeb01_plycent02_tcp_22_ &
!netAccess_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent02_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t363_RULE_19__multi_hop_access_t363_] execCode_plyora01_root_ &
hacl_plyora01_plycent02_tcp_22_ &
!netAccess_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plycent02_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t365_RULE_19__multi_hop_access_t365_] execCode_plyprox01_root_ &
hacl_plyprox01_plycent02_tcp_22_ &
!netAccess_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plycent02_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t367_RULE_19__multi_hop_access_t367_] execCode_plyrhel01_root_ &
hacl_plyrhel01_plycent02_tcp_22_ &
!netAccess_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.7219: (netAccess_plycent02_tcp_22_' = true) & (t'=1) +0.1854: (t'=1) +0.0927: (t'=3);
[L_t369_RULE_19__multi_hop_access_t369_] execCode_plyubu01_root_ &
hacl_plyubu01_plycent02_tcp_22_ &
!netAccess_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.768: (netAccess_plycent02_tcp_22_' = true) & (t'=1) +0.15466666666666665: (t'=1) +0.07733333333333332: (t'=3);
[L_t371_RULE_19__multi_hop_access_t371_] execCode_plyubu01_user_ &
hacl_plyubu01_plycent02_tcp_22_ &
!netAccess_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent02_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t372_RULE_20__direct_network_access_t372_] attackerLocated_internet_ &
hacl_internet_plycent02_tcp_22_ &
!netAccess_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (netAccess_plycent02_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t376_RULE_9__Tampering_the_code_memory_t376_] canAccessHost_plycent02_ &
vulExists_plycent02__cve_2018_7566___cen &
!execCode_plycent02_root_ & !dos_plycent02_ & (t=1) ->
0.512: (execCode_plycent02_root_' = true) & (t'=1) +0.3253333333333333: (t'=1) +0.16266666666666665: (t'=3);
[L_t378_RULE_22__Access_a_host_through_executingt378_] execCode_plycent02_root_ &
!canAccessHost_plycent02_ & !dos_plycent02_ & (t=1) ->
0.7844: (canAccessHost_plycent02_' = true) & (t'=1) +0.14373333333333335: (t'=1) +0.07186666666666668: (t'=3);
[L_t379_RULE_22__Access_a_host_through_executingt379_] execCode_plycent02_user_ &
!canAccessHost_plycent02_ & !dos_plycent02_ & (t=1) ->
0.64: (canAccessHost_plycent02_' = true) & (t'=1) +0.24: (t'=1) +0.12: (t'=3);
[L_t380_RULE_23__Access_a_host_through_a_log_in_t380_] netAccess_plycent02_tcp_22_ &
logInService_plycent02_tcp_22_ &
!canAccessHost_plycent02_ & !dos_plycent02_ & (t=1) ->
0.64: (canAccessHost_plycent02_' = true) & (t'=1) +0.24: (t'=1) +0.12: (t'=3);
[L_t382_RULE_27__remote_ssh_to_a_host_t382_] networkServiceInfo_plycent02__centos6_10 &
sshDaemon__centos6_10__ &
!logInService_plycent02_tcp_22_ & !dos_plycent02_ & (t=1) ->
0.8: (logInService_plycent02_tcp_22_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t385_RULE_12__local_DOS_t385_] misuseAction_overusecpu_ &
vulExists_plycent02__cve_2018_8897___cen &
execCode_plycent02_user_ &
!dos_plycent02_ & !dos_plycent02_ & (t=1) ->
0.8: (dos_plycent02_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t386_RULE_12__local_DOS_t386_] execCode_plycent02_root_ &
misuseAction_overusememory_ &
vulExists_plycent02__cve_2017_9076___cen &
!dos_plycent02_ & !dos_plycent02_ & (t=1) ->
0.8: (dos_plycent02_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t389_RULE_12__local_DOS_t389_] execCode_plycent02_user_ &
misuseAction_overusememory_ &
vulExists_plycent02__cve_2017_9076___cen &
!dos_plycent02_ & !dos_plycent02_ & (t=1) ->
0.8: (dos_plycent02_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t390_RULE_13__remote_DOS_on_a_server_program_t390_] netAccess_plycent02_tcp_22_ &
networkServiceInfo_plycent02__centos6_10 &
misuseAction_overusememory_ &
scoreCvss_59__cve_2018_1000004__ &
vulExists_plycent02__cve_2018_1000004___ &
!dos_plycent02_ & !dos_plycent02_ & (t=1) ->
0.8: (dos_plycent02_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
[L_t393_RULE_13__remote_DOS_on_a_server_program_t393_] misuseAction_overusecpu_ &
netAccess_plycent02_tcp_22_ &
networkServiceInfo_plycent02__centos6_10 &
scoreCvss_75__cve_2018_5390__ &
vulExists_plycent02__cve_2018_5390___cen &
!dos_plycent02_ & !dos_plycent02_ & (t=1) ->
0.8: (dos_plycent02_' = true) & (t'=1) +0.1333333333333333: (t'=1) +0.06666666666666665: (t'=3);
endmodule
module defender
[def_L_t8_RULE_15__local_exploit_t8_ ] execCode_plycent02_root_ & (t=2) ->
0.6: (hacl_plycent01_plycent02_tcp_22_' = false) & (t'=1) + 0.4: (t'=1);
[def_L_t15_RULE_15__local_exploit_t15_ ] execCode_plycent01_root_ & (t=2) ->
0.6: (misuseAction_overusecpu_' = false) & (vulExists_plycent02__cve_2018_8897___cen' = false) & (t'=1) + 0.4: (t'=1);
[def_L_t24_RULE_19__multi_hop_access_t24_ ] netAccess_plycent01_tcp_22_ & (t=2) ->
0.6: (vulExists_plycent01__cve_2017_13215___ce' = false) & (t'=1) + 0.4: (t'=1);
[def_L_t30_RULE_15__local_exploit_t30_ ] execCode_plycent03_root_ & (t=2) ->
0.6: (vulExists_plycent02__cve_2017_9076___cen' = false) & (t'=1) + 0.4: (t'=1);
endmodule