noah/Synchronous_Firing
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Switching to non-generic qualities to avoid rehashing due to collisions

Browse Source
This commit is contained in:
Noah L. Schrick 2023-03-24 09:00:10 -05:00
parent 92b3f30444
commit 735c887886
21 changed files with 506 additions and 496 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
CG_Files/Employee_A/dmca.nm
View File

@ -1,16 +1,16 @@
network model = network model =
assets: assets:
torrent_prog_A; torrent_prog_A;
illicit_sw_A_1; illicit_sw_A_1;
illicit_sw_A_2; illicit_sw_A_2;
illicit_sw_A_3; illicit_sw_A_3;
facts:
quality:torrent_prog_A,is_installed=true;
quality:illicit_sw_A_1,is_installed=true;
quality:illicit_sw_A_2,is_installed=true;
quality:illicit_sw_A_3,is_installed=true;
topology:illicit_sw_A_1->illicit_sw_A_2,org; facts:
quality:torrent_prog_A,prog_A_is_installed=true;
quality:illicit_sw_A_1,sw_A_1_is_installed=true;
quality:illicit_sw_A_2,sw_A_2_is_installed=true;
quality:illicit_sw_A_3,sw_A_3_is_installed=true;
topology:illicit_sw_A_2->illicit_sw_A_3,org;
. .

16
CG_Files/Employee_A/dmca.xp
View File

@ -1,27 +1,27 @@
exploit remove_torrent_prog_A(torrent_prog_A)= exploit remove_torrent_prog_A(torrent_prog_A)=
preconditions: preconditions:
quality:torrent_prog_A,is_installed=true; quality:torrent_prog_A,prog_A_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_A,is_installed=false; update quality:torrent_prog_A,prog_A_is_installed=false;
. .
exploit remove_illicit_sw_A_1(illicit_sw_A_1)= exploit remove_illicit_sw_A_1(illicit_sw_A_1)=
preconditions: preconditions:
quality:illicit_sw_A_1,is_installed=true; quality:illicit_sw_A_1,sw_A_1_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_A_1,is_installed=false; update quality:illicit_sw_A_1,sw_A_1_is_installed=false;
. .
exploit remove_illicit_sw_A_2(illicit_sw_A_2)= exploit remove_illicit_sw_A_2(illicit_sw_A_2)=
preconditions: preconditions:
quality:illicit_sw_A_2,is_installed=true; quality:illicit_sw_A_2,sw_A_2_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_A_2,is_installed=false; update quality:illicit_sw_A_2,sw_A_2_is_installed=false;
. .
exploit remove_illicit_sw_A_3(illicit_sw_A_3)= exploit remove_illicit_sw_A_3(illicit_sw_A_3)=
preconditions: preconditions:
quality:illicit_sw_A_3,is_installed=true; quality:illicit_sw_A_3,sw_A_3_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_A_3,is_installed=false; update quality:illicit_sw_A_3,sw_A_3_is_installed=false;
. .

16
CG_Files/Employee_A/sync_dmca.xp
View File

@ -1,12 +1,12 @@
uninstall group exploit remove_all_A(torrent_prog_A,illicit_sw_A_1,illicit_sw_A_2,illicit_sw_A_3)= uninstall group exploit remove_all_A(torrent_prog_A,illicit_sw_A_1,illicit_sw_A_2,illicit_sw_A_3)=
preconditions: preconditions:
quality:torrent_prog_A,is_installed=true; quality:torrent_prog_A,prog_A_is_installed=true;
quality:illicit_sw_A_1,is_installed=true; quality:illicit_sw_A_1,sw_A_1_is_installed=true;
quality:illicit_sw_A_2,is_installed=true; quality:illicit_sw_A_2,sw_A_2_is_installed=true;
quality:illicit_sw_A_3,is_installed=true; quality:illicit_sw_A_3,sw_A_3_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_A,is_installed=false; quality:torrent_prog_A,prog_A_is_installed=false;
update quality:illicit_sw_A_1,is_installed=false; quality:illicit_sw_A_1,sw_A_1_is_installed=false;
update quality:illicit_sw_A_2,is_installed=false; quality:illicit_sw_A_2,sw_A_2_is_installed=false;
update quality:illicit_sw_A_3,is_installed=false; quality:illicit_sw_A_3,sw_A_3_is_installed=false;
. .

37
CG_Files/Employee_AB/dmca.nm
View File

@ -1,28 +1,29 @@
network model = network model =
assets: assets:
torrent_prog_A;
illicit_sw_A_1;
illicit_sw_A_2;
illicit_sw_A_3;
torrent_prog_B; torrent_prog_B;
illicit_sw_B_1; illicit_sw_B_1;
illicit_sw_B_2; illicit_sw_B_2;
illicit_sw_B_3; illicit_sw_B_3;
illicit_sw_B_4; illicit_sw_B_4;
torrent_prog_A;
illicit_sw_A_1;
illicit_sw_A_2;
illicit_sw_A_3;
facts: facts:
quality:torrent_prog_A,is_installed=true; quality:torrent_prog_B,prog_B_is_installed=true;
quality:torrent_prog_B,is_installed=true;
quality:illicit_sw_A_1,is_installed=true;
quality:illicit_sw_A_2,is_installed=true;
quality:illicit_sw_A_3,is_installed=true;
quality:illicit_sw_B_1,is_installed=true; quality:illicit_sw_B_1,sw_B_1_is_installed=true;
quality:illicit_sw_B_2,is_installed=true; quality:illicit_sw_B_2,sw_B_2_is_installed=true;
quality:illicit_sw_B_3,is_installed=true; quality:illicit_sw_B_3,sw_B_3_is_installed=true;
quality:illicit_sw_B_4,is_installed=true; quality:illicit_sw_B_4,sw_B_4_is_installed=true;
quality:torrent_prog_A,prog_A_is_installed=true;
topology:illicit_sw_B_2->illicit_sw_B_3,org; quality:illicit_sw_A_1,sw_A_1_is_installed=true;
quality:illicit_sw_A_2,sw_A_2_is_installed=true;
quality:illicit_sw_A_3,sw_A_3_is_installed=true;
topology:illicit_sw_B_3->illicit_sw_B_4,org;
. .

78
CG_Files/Employee_AB/dmca.xp
View File

@ -1,62 +1,64 @@
exploit remove_torrent_prog_A(torrent_prog_A)=
preconditions:
quality:torrent_prog_A,is_installed=true;
postconditions:
update quality:torrent_prog_A,is_installed=false;
.
exploit remove_torrent_prog_B(torrent_prog_B)= exploit remove_torrent_prog_B(torrent_prog_B)=
preconditions: preconditions:
quality:torrent_prog_B,is_installed=true; quality:torrent_prog_B,prog_B_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_B,is_installed=false; update quality:torrent_prog_B,prog_B_is_installed=false;
.
exploit remove_illicit_sw_A_1(illicit_sw_A_1)=
preconditions:
quality:illicit_sw_A_1,is_installed=true;
postconditions:
update quality:illicit_sw_A_1,is_installed=false;
.
exploit remove_illicit_sw_A_2(illicit_sw_A_2)=
preconditions:
quality:illicit_sw_A_2,is_installed=true;
postconditions:
update quality:illicit_sw_A_2,is_installed=false;
.
exploit remove_illicit_sw_A_3(illicit_sw_A_3)=
preconditions:
quality:illicit_sw_A_3,is_installed=true;
postconditions:
update quality:illicit_sw_A_3,is_installed=false;
. .
exploit remove_illicit_sw_B_1(illicit_sw_B_1)= exploit remove_illicit_sw_B_1(illicit_sw_B_1)=
preconditions: preconditions:
quality:illicit_sw_B_1,is_installed=true; quality:illicit_sw_B_1,sw_B_1_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_B_1,is_installed=false; update quality:illicit_sw_B_1,sw_B_1_is_installed=false;
. .
exploit remove_illicit_sw_B_2(illicit_sw_B_2)= exploit remove_illicit_sw_B_2(illicit_sw_B_2)=
preconditions: preconditions:
quality:illicit_sw_B_2,is_installed=true; quality:illicit_sw_B_2,sw_B_2_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_B_2,is_installed=false; update quality:illicit_sw_B_2,sw_B_2_is_installed=false;
. .
exploit remove_illicit_sw_B_3(illicit_sw_B_3)= exploit remove_illicit_sw_B_3(illicit_sw_B_3)=
preconditions: preconditions:
quality:illicit_sw_B_3,is_installed=true; quality:illicit_sw_B_3,sw_B_3_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_B_3,is_installed=false; update quality:illicit_sw_B_3,sw_B_3_is_installed=false;
. .
exploit remove_illicit_sw_B_4(illicit_sw_B_4)= exploit remove_illicit_sw_B_4(illicit_sw_B_4)=
preconditions: preconditions:
quality:illicit_sw_B_4,is_installed=true; quality:illicit_sw_B_4,sw_B_4_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_B_4,is_installed=false; update quality:illicit_sw_B_4,sw_B_4_is_installed=false;
. .
exploit remove_torrent_prog_A(torrent_prog_A)=
preconditions:
quality:torrent_prog_A,prog_A_is_installed=true;
postconditions:
update quality:torrent_prog_A,prog_A_is_installed=false;
.
exploit remove_illicit_sw_A_1(illicit_sw_A_1)=
preconditions:
quality:illicit_sw_A_1,sw_A_1_is_installed=true;
postconditions:
update quality:illicit_sw_A_1,sw_A_1_is_installed=false;
.
exploit remove_illicit_sw_A_2(illicit_sw_A_2)=
preconditions:
quality:illicit_sw_A_2,sw_A_2_is_installed=true;
postconditions:
update quality:illicit_sw_A_2,sw_A_2_is_installed=false;
.
exploit remove_illicit_sw_A_3(illicit_sw_A_3)=
preconditions:
quality:illicit_sw_A_3,sw_A_3_is_installed=true;
postconditions:
update quality:illicit_sw_A_3,sw_A_3_is_installed=false;
.

47
CG_Files/Employee_AB/sync_dmca.xp
View File

@ -1,27 +1,28 @@
uninstall group exploit remove_all_A(torrent_prog_A,illicit_sw_A_1,illicit_sw_A_2,illicit_sw_A_3)=
preconditions:
quality:torrent_prog_A,is_installed=true;
quality:illicit_sw_A_1,is_installed=true;
quality:illicit_sw_A_2,is_installed=true;
quality:illicit_sw_A_3,is_installed=true;
postconditions:
update quality:torrent_prog_A,is_installed=false;
update quality:illicit_sw_A_1,is_installed=false;
update quality:illicit_sw_A_2,is_installed=false;
update quality:illicit_sw_A_3,is_installed=false;
.
uninstall group exploit remove_all_B(torrent_prog_B,illicit_sw_B_1,illicit_sw_B_2,illicit_sw_B_3,illicit_sw_B_4)= uninstall group exploit remove_all_B(torrent_prog_B,illicit_sw_B_1,illicit_sw_B_2,illicit_sw_B_3,illicit_sw_B_4)=
preconditions: preconditions:
quality:torrent_prog_B,is_installed=true; quality:torrent_prog_B,prog_B_is_installed=true;
quality:illicit_sw_B_1,is_installed=true; quality:illicit_sw_B_1,sw_B_1_is_installed=true;
quality:illicit_sw_B_2,is_installed=true; quality:illicit_sw_B_2,sw_B_2_is_installed=true;
quality:illicit_sw_B_3,is_installed=true; quality:illicit_sw_B_3,sw_B_3_is_installed=true;
quality:illicit_sw_B_4,is_installed=true; quality:illicit_sw_B_4,sw_B_4_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_B,is_installed=false; quality:torrent_prog_B,prog_B_is_installed=false;
update quality:illicit_sw_B_1,is_installed=false; quality:illicit_sw_B_1,sw_B_1_is_installed=false;
update quality:illicit_sw_B_2,is_installed=false; quality:illicit_sw_B_2,sw_B_2_is_installed=false;
update quality:illicit_sw_B_3,is_installed=false; quality:illicit_sw_B_3,sw_B_3_is_installed=false;
update quality:illicit_sw_B_4,is_installed=false; quality:illicit_sw_B_4,sw_B_4_is_installed=false;
. .
uninstall group exploit remove_all_A(torrent_prog_A,illicit_sw_A_1,illicit_sw_A_2,illicit_sw_A_3)=
preconditions:
quality:torrent_prog_A,prog_A_is_installed=true;
quality:illicit_sw_A_1,sw_A_1_is_installed=true;
quality:illicit_sw_A_2,sw_A_2_is_installed=true;
quality:illicit_sw_A_3,sw_A_3_is_installed=true;
postconditions:
quality:torrent_prog_A,prog_A_is_installed=false;
quality:illicit_sw_A_1,sw_A_1_is_installed=false;
quality:illicit_sw_A_2,sw_A_2_is_installed=false;
quality:illicit_sw_A_3,sw_A_3_is_installed=false;
.

54
CG_Files/Employee_ABC/dmca.nm
View File

@ -1,15 +1,15 @@
network model = network model =
assets: assets:
torrent_prog_A;
illicit_sw_A_1;
illicit_sw_A_2;
illicit_sw_A_3;
torrent_prog_B; torrent_prog_B;
illicit_sw_B_1; illicit_sw_B_1;
illicit_sw_B_2; illicit_sw_B_2;
illicit_sw_B_3; illicit_sw_B_3;
illicit_sw_B_4; illicit_sw_B_4;
torrent_prog_A;
illicit_sw_A_1;
illicit_sw_A_2;
illicit_sw_A_3;
torrent_prog_C; torrent_prog_C;
illicit_sw_C_1; illicit_sw_C_1;
@ -21,26 +21,28 @@ network model =
illicit_sw_C_7; illicit_sw_C_7;
facts: facts:
quality:torrent_prog_A,is_installed=true; quality:torrent_prog_B,prog_B_is_installed=true;
quality:torrent_prog_B,is_installed=true;
quality:torrent_prog_C,is_installed=true;
quality:illicit_sw_A_1,is_installed=true;
quality:illicit_sw_A_2,is_installed=true;
quality:illicit_sw_A_3,is_installed=true;
quality:illicit_sw_B_1,is_installed=true; quality:illicit_sw_B_1,sw_B_1_is_installed=true;
quality:illicit_sw_B_2,is_installed=true; quality:illicit_sw_B_2,sw_B_2_is_installed=true;
quality:illicit_sw_B_3,is_installed=true; quality:illicit_sw_B_3,sw_B_3_is_installed=true;
quality:illicit_sw_B_4,is_installed=true; quality:illicit_sw_B_4,sw_B_4_is_installed=true;
quality:torrent_prog_A,prog_A_is_installed=true;
quality:illicit_sw_C_1,is_installed=true; quality:illicit_sw_A_1,sw_A_1_is_installed=true;
quality:illicit_sw_C_2,is_installed=true; quality:illicit_sw_A_2,sw_A_2_is_installed=true;
quality:illicit_sw_C_3,is_installed=true; quality:illicit_sw_A_3,sw_A_3_is_installed=true;
quality:illicit_sw_C_4,is_installed=true;
quality:illicit_sw_C_5,is_installed=true; quality:torrent_prog_C,prog_C_is_installed=true;
quality:illicit_sw_C_6,is_installed=true;
quality:illicit_sw_C_7,is_installed=true;
topology:illicit_sw_C_6->illicit_sw_C_7,org; quality:illicit_sw_C_1,sw_C_1_is_installed=true;
quality:illicit_sw_C_2,sw_C_2_is_installed=true;
quality:illicit_sw_C_3,sw_C_3_is_installed=true;
quality:illicit_sw_C_4,sw_C_4_is_installed=true;
quality:illicit_sw_C_5,sw_C_5_is_installed=true;
quality:illicit_sw_C_6,sw_C_6_is_installed=true;
quality:illicit_sw_C_7,sw_C_7_is_installed=true;
topology:illicit_sw_B_3->illicit_sw_B_4,org;
. .

118
CG_Files/Employee_ABC/dmca.xp
View File

@ -1,118 +1,118 @@
exploit remove_torrent_prog_A(torrent_prog_A)=
preconditions:
quality:torrent_prog_A,is_installed=true;
postconditions:
update quality:torrent_prog_A,is_installed=false;
.
exploit remove_torrent_prog_B(torrent_prog_B)= exploit remove_torrent_prog_B(torrent_prog_B)=
preconditions: preconditions:
quality:torrent_prog_B,is_installed=true; quality:torrent_prog_B,prog_B_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_B,is_installed=false; update quality:torrent_prog_B,prog_B_is_installed=false;
.
exploit remove_torrent_prog_C(torrent_prog_C)=
preconditions:
quality:torrent_prog_C,is_installed=true;
postconditions:
update quality:torrent_prog_C,is_installed=false;
.
exploit remove_illicit_sw_A_1(illicit_sw_A_1)=
preconditions:
quality:illicit_sw_A_1,is_installed=true;
postconditions:
update quality:illicit_sw_A_1,is_installed=false;
.
exploit remove_illicit_sw_A_2(illicit_sw_A_2)=
preconditions:
quality:illicit_sw_A_2,is_installed=true;
postconditions:
update quality:illicit_sw_A_2,is_installed=false;
.
exploit remove_illicit_sw_A_3(illicit_sw_A_3)=
preconditions:
quality:illicit_sw_A_3,is_installed=true;
postconditions:
update quality:illicit_sw_A_3,is_installed=false;
. .
exploit remove_illicit_sw_B_1(illicit_sw_B_1)= exploit remove_illicit_sw_B_1(illicit_sw_B_1)=
preconditions: preconditions:
quality:illicit_sw_B_1,is_installed=true; quality:illicit_sw_B_1,sw_B_1_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_B_1,is_installed=false; update quality:illicit_sw_B_1,sw_B_1_is_installed=false;
. .
exploit remove_illicit_sw_B_2(illicit_sw_B_2)= exploit remove_illicit_sw_B_2(illicit_sw_B_2)=
preconditions: preconditions:
quality:illicit_sw_B_2,is_installed=true; quality:illicit_sw_B_2,sw_B_2_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_B_2,is_installed=false; update quality:illicit_sw_B_2,sw_B_2_is_installed=false;
. .
exploit remove_illicit_sw_B_3(illicit_sw_B_3)= exploit remove_illicit_sw_B_3(illicit_sw_B_3)=
preconditions: preconditions:
quality:illicit_sw_B_3,is_installed=true; quality:illicit_sw_B_3,sw_B_3_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_B_3,is_installed=false; update quality:illicit_sw_B_3,sw_B_3_is_installed=false;
. .
exploit remove_illicit_sw_B_4(illicit_sw_B_4)= exploit remove_illicit_sw_B_4(illicit_sw_B_4)=
preconditions: preconditions:
quality:illicit_sw_B_4,is_installed=true; quality:illicit_sw_B_4,sw_B_4_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_B_4,is_installed=false; update quality:illicit_sw_B_4,sw_B_4_is_installed=false;
.
exploit remove_torrent_prog_A(torrent_prog_A)=
preconditions:
quality:torrent_prog_A,prog_A_is_installed=true;
postconditions:
update quality:torrent_prog_A,prog_A_is_installed=false;
.
exploit remove_illicit_sw_A_1(illicit_sw_A_1)=
preconditions:
quality:illicit_sw_A_1,sw_A_1_is_installed=true;
postconditions:
update quality:illicit_sw_A_1,sw_A_1_is_installed=false;
.
exploit remove_illicit_sw_A_2(illicit_sw_A_2)=
preconditions:
quality:illicit_sw_A_2,sw_A_2_is_installed=true;
postconditions:
update quality:illicit_sw_A_2,sw_A_2_is_installed=false;
.
exploit remove_illicit_sw_A_3(illicit_sw_A_3)=
preconditions:
quality:illicit_sw_A_3,sw_A_3_is_installed=true;
postconditions:
update quality:illicit_sw_A_3,sw_A_3_is_installed=false;
.
exploit remove_torrent_prog_C(torrent_prog_C)=
preconditions:
quality:torrent_prog_C,prog_C_is_installed=true;
postconditions:
update quality:torrent_prog_C,prog_C_is_installed=false;
. .
exploit remove_illicit_sw_C_1(illicit_sw_C_1)= exploit remove_illicit_sw_C_1(illicit_sw_C_1)=
preconditions: preconditions:
quality:illicit_sw_C_1,is_installed=true; quality:illicit_sw_C_1,sw_C_1_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_1,is_installed=false; update quality:illicit_sw_C_1,sw_C_1_is_installed=false;
. .
exploit remove_illicit_sw_C_2(illicit_sw_C_2)= exploit remove_illicit_sw_C_2(illicit_sw_C_2)=
preconditions: preconditions:
quality:illicit_sw_C_2,is_installed=true; quality:illicit_sw_C_2,sw_C_2_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_2,is_installed=false; update quality:illicit_sw_C_2,sw_C_2_is_installed=false;
. .
exploit remove_illicit_sw_C_3(illicit_sw_C_3)= exploit remove_illicit_sw_C_3(illicit_sw_C_3)=
preconditions: preconditions:
quality:illicit_sw_C_3,is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_3,is_installed=false; update quality:illicit_sw_C_3,sw_C_3_is_installed=false;
. .
exploit remove_illicit_sw_C_4(illicit_sw_C_4)= exploit remove_illicit_sw_C_4(illicit_sw_C_4)=
preconditions: preconditions:
quality:illicit_sw_C_4,is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_4,is_installed=false; update quality:illicit_sw_C_4,sw_C_4_is_installed=false;
. .
exploit remove_illicit_sw_C_5(illicit_sw_C_5)= exploit remove_illicit_sw_C_5(illicit_sw_C_5)=
preconditions: preconditions:
quality:illicit_sw_C_5,is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_5,is_installed=false; update quality:illicit_sw_C_5,sw_C_5_is_installed=false;
. .
exploit remove_illicit_sw_C_6(illicit_sw_C_6)= exploit remove_illicit_sw_C_6(illicit_sw_C_6)=
preconditions: preconditions:
quality:illicit_sw_C_6,is_installed=true; quality:illicit_sw_C_6,sw_C_6_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_6,is_installed=false; update quality:illicit_sw_C_6,sw_C_6_is_installed=false;
. .
exploit remove_illicit_sw_C_7(illicit_sw_C_7)= exploit remove_illicit_sw_C_7(illicit_sw_C_7)=
preconditions: preconditions:
quality:illicit_sw_C_7,is_installed=true; quality:illicit_sw_C_7,sw_C_7_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_7,is_installed=false; update quality:illicit_sw_C_7,sw_C_7_is_installed=false;
. .

78
CG_Files/Employee_ABC/sync_dmca.xp
View File

@ -1,48 +1,48 @@
uninstall group exploit remove_all_A(torrent_prog_A,illicit_sw_A_1,illicit_sw_A_2,illicit_sw_A_3)=
preconditions:
quality:torrent_prog_A,is_installed=true;
quality:illicit_sw_A_1,is_installed=true;
quality:illicit_sw_A_2,is_installed=true;
quality:illicit_sw_A_3,is_installed=true;
postconditions:
update quality:torrent_prog_A,is_installed=false;
update quality:illicit_sw_A_1,is_installed=false;
update quality:illicit_sw_A_2,is_installed=false;
update quality:illicit_sw_A_3,is_installed=false;
.
uninstall group exploit remove_all_B(torrent_prog_B,illicit_sw_B_1,illicit_sw_B_2,illicit_sw_B_3,illicit_sw_B_4)= uninstall group exploit remove_all_B(torrent_prog_B,illicit_sw_B_1,illicit_sw_B_2,illicit_sw_B_3,illicit_sw_B_4)=
preconditions: preconditions:
quality:torrent_prog_B,is_installed=true; quality:torrent_prog_B,prog_B_is_installed=true;
quality:illicit_sw_B_1,is_installed=true; quality:illicit_sw_B_1,sw_B_1_is_installed=true;
quality:illicit_sw_B_2,is_installed=true; quality:illicit_sw_B_2,sw_B_2_is_installed=true;
quality:illicit_sw_B_3,is_installed=true; quality:illicit_sw_B_3,sw_B_3_is_installed=true;
quality:illicit_sw_B_4,is_installed=true; quality:illicit_sw_B_4,sw_B_4_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_B,is_installed=false; quality:torrent_prog_B,prog_B_is_installed=false;
update quality:illicit_sw_B_1,is_installed=false; quality:illicit_sw_B_1,sw_B_1_is_installed=false;
update quality:illicit_sw_B_2,is_installed=false; quality:illicit_sw_B_2,sw_B_2_is_installed=false;
update quality:illicit_sw_B_3,is_installed=false; quality:illicit_sw_B_3,sw_B_3_is_installed=false;
update quality:illicit_sw_B_4,is_installed=false; quality:illicit_sw_B_4,sw_B_4_is_installed=false;
.
uninstall group exploit remove_all_A(torrent_prog_A,illicit_sw_A_1,illicit_sw_A_2,illicit_sw_A_3)=
preconditions:
quality:torrent_prog_A,prog_A_is_installed=true;
quality:illicit_sw_A_1,sw_A_1_is_installed=true;
quality:illicit_sw_A_2,sw_A_2_is_installed=true;
quality:illicit_sw_A_3,sw_A_3_is_installed=true;
postconditions:
quality:torrent_prog_A,prog_A_is_installed=false;
quality:illicit_sw_A_1,sw_A_1_is_installed=false;
quality:illicit_sw_A_2,sw_A_2_is_installed=false;
quality:illicit_sw_A_3,sw_A_3_is_installed=false;
. .
uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5,illicit_sw_C_6,illicit_sw_C_7)= uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5,illicit_sw_C_6,illicit_sw_C_7)=
preconditions: preconditions:
quality:torrent_prog_C,is_installed=true; quality:torrent_prog_C,prog_C_is_installed=true;
quality:illicit_sw_C_1,is_installed=true; quality:illicit_sw_C_1,sw_C_1_is_installed=true;
quality:illicit_sw_C_2,is_installed=true; quality:illicit_sw_C_2,sw_C_2_is_installed=true;
quality:illicit_sw_C_3,is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
quality:illicit_sw_C_4,is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
quality:illicit_sw_C_5,is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
quality:illicit_sw_C_6,is_installed=true; quality:illicit_sw_C_6,sw_C_6_is_installed=true;
quality:illicit_sw_C_7,is_installed=true; quality:illicit_sw_C_7,sw_C_7_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_C,is_installed=false; quality:torrent_prog_C,prog_C_is_installed=false;
update quality:illicit_sw_C_1,is_installed=false; quality:illicit_sw_C_1,sw_C_1_is_installed=false;
update quality:illicit_sw_C_2,is_installed=false; quality:illicit_sw_C_2,sw_C_2_is_installed=false;
update quality:illicit_sw_C_3,is_installed=false; quality:illicit_sw_C_3,sw_C_3_is_installed=false;
update quality:illicit_sw_C_4,is_installed=false; quality:illicit_sw_C_4,sw_C_4_is_installed=false;
update quality:illicit_sw_C_5,is_installed=false; quality:illicit_sw_C_5,sw_C_5_is_installed=false;
update quality:illicit_sw_C_6,is_installed=false; quality:illicit_sw_C_6,sw_C_6_is_installed=false;
update quality:illicit_sw_C_7,is_installed=false; quality:illicit_sw_C_7,sw_C_7_is_installed=false;
. .

39
CG_Files/Employee_AC/dmca.nm
View File

@ -1,10 +1,5 @@
network model = network model =
assets: assets:
torrent_prog_A;
illicit_sw_A_1;
illicit_sw_A_2;
illicit_sw_A_3;
torrent_prog_C; torrent_prog_C;
illicit_sw_C_1; illicit_sw_C_1;
illicit_sw_C_2; illicit_sw_C_2;
@ -13,22 +8,28 @@ network model =
illicit_sw_C_5; illicit_sw_C_5;
illicit_sw_C_6; illicit_sw_C_6;
illicit_sw_C_7; illicit_sw_C_7;
torrent_prog_A;
illicit_sw_A_1;
illicit_sw_A_2;
illicit_sw_A_3;
facts: facts:
quality:torrent_prog_A,is_installed=true; quality:torrent_prog_C,prog_C_is_installed=true;
quality:torrent_prog_C,is_installed=true;
quality:illicit_sw_A_1,is_installed=true;
quality:illicit_sw_A_2,is_installed=true;
quality:illicit_sw_A_3,is_installed=true;
quality:illicit_sw_C_1,is_installed=true; quality:illicit_sw_C_1,sw_C_1_is_installed=true;
quality:illicit_sw_C_2,is_installed=true; quality:illicit_sw_C_2,sw_C_2_is_installed=true;
quality:illicit_sw_C_3,is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
quality:illicit_sw_C_4,is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
quality:illicit_sw_C_5,is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
quality:illicit_sw_C_6,is_installed=true; quality:illicit_sw_C_6,sw_C_6_is_installed=true;
quality:illicit_sw_C_7,is_installed=true; quality:illicit_sw_C_7,sw_C_7_is_installed=true;
quality:torrent_prog_A,prog_A_is_installed=true;
quality:illicit_sw_A_1,sw_A_1_is_installed=true;
quality:illicit_sw_A_2,sw_A_2_is_installed=true;
quality:illicit_sw_A_3,sw_A_3_is_installed=true;
topology:illicit_sw_C_6->illicit_sw_C_7,org; topology:illicit_sw_C_6->illicit_sw_C_7,org;
. .

91
CG_Files/Employee_AC/dmca.xp
View File

@ -1,84 +1,85 @@
exploit remove_torrent_prog_A(torrent_prog_A)=
preconditions:
quality:torrent_prog_A,is_installed=true;
postconditions:
update quality:torrent_prog_A,is_installed=false;
.
exploit remove_torrent_prog_C(torrent_prog_C)= exploit remove_torrent_prog_C(torrent_prog_C)=
preconditions: preconditions:
quality:torrent_prog_C,is_installed=true; quality:torrent_prog_C,prog_C_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_C,is_installed=false; update quality:torrent_prog_C,prog_C_is_installed=false;
.
exploit remove_illicit_sw_A_1(illicit_sw_A_1)=
preconditions:
quality:illicit_sw_A_1,is_installed=true;
postconditions:
update quality:illicit_sw_A_1,is_installed=false;
.
exploit remove_illicit_sw_A_2(illicit_sw_A_2)=
preconditions:
quality:illicit_sw_A_2,is_installed=true;
postconditions:
update quality:illicit_sw_A_2,is_installed=false;
.
exploit remove_illicit_sw_A_3(illicit_sw_A_3)=
preconditions:
quality:illicit_sw_A_3,is_installed=true;
postconditions:
update quality:illicit_sw_A_3,is_installed=false;
. .
exploit remove_illicit_sw_C_1(illicit_sw_C_1)= exploit remove_illicit_sw_C_1(illicit_sw_C_1)=
preconditions: preconditions:
quality:illicit_sw_C_1,is_installed=true; quality:illicit_sw_C_1,sw_C_1_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_1,is_installed=false; update quality:illicit_sw_C_1,sw_C_1_is_installed=false;
. .
exploit remove_illicit_sw_C_2(illicit_sw_C_2)= exploit remove_illicit_sw_C_2(illicit_sw_C_2)=
preconditions: preconditions:
quality:illicit_sw_C_2,is_installed=true; quality:illicit_sw_C_2,sw_C_2_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_2,is_installed=false; update quality:illicit_sw_C_2,sw_C_2_is_installed=false;
. .
exploit remove_illicit_sw_C_3(illicit_sw_C_3)= exploit remove_illicit_sw_C_3(illicit_sw_C_3)=
preconditions: preconditions:
quality:illicit_sw_C_3,is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_3,is_installed=false; update quality:illicit_sw_C_3,sw_C_3_is_installed=false;
. .
exploit remove_illicit_sw_C_4(illicit_sw_C_4)= exploit remove_illicit_sw_C_4(illicit_sw_C_4)=
preconditions: preconditions:
quality:illicit_sw_C_4,is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_4,is_installed=false; update quality:illicit_sw_C_4,sw_C_4_is_installed=false;
. .
exploit remove_illicit_sw_C_5(illicit_sw_C_5)= exploit remove_illicit_sw_C_5(illicit_sw_C_5)=
preconditions: preconditions:
quality:illicit_sw_C_5,is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_5,is_installed=false; update quality:illicit_sw_C_5,sw_C_5_is_installed=false;
. .
exploit remove_illicit_sw_C_6(illicit_sw_C_6)= exploit remove_illicit_sw_C_6(illicit_sw_C_6)=
preconditions: preconditions:
quality:illicit_sw_C_6,is_installed=true; quality:illicit_sw_C_6,sw_C_6_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_6,is_installed=false; update quality:illicit_sw_C_6,sw_C_6_is_installed=false;
. .
exploit remove_illicit_sw_C_7(illicit_sw_C_7)= exploit remove_illicit_sw_C_7(illicit_sw_C_7)=
preconditions: preconditions:
quality:illicit_sw_C_7,is_installed=true; quality:illicit_sw_C_7,sw_C_7_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_7,is_installed=false; update quality:illicit_sw_C_7,sw_C_7_is_installed=false;
. .
exploit remove_torrent_prog_A(torrent_prog_A)=
preconditions:
quality:torrent_prog_A,prog_A_is_installed=true;
postconditions:
update quality:torrent_prog_A,prog_A_is_installed=false;
.
exploit remove_illicit_sw_A_1(illicit_sw_A_1)=
preconditions:
quality:illicit_sw_A_1,sw_A_1_is_installed=true;
postconditions:
update quality:illicit_sw_A_1,sw_A_1_is_installed=false;
.
exploit remove_illicit_sw_A_2(illicit_sw_A_2)=
preconditions:
quality:illicit_sw_A_2,sw_A_2_is_installed=true;
postconditions:
update quality:illicit_sw_A_2,sw_A_2_is_installed=false;
.
exploit remove_illicit_sw_A_3(illicit_sw_A_3)=
preconditions:
quality:illicit_sw_A_3,sw_A_3_is_installed=true;
postconditions:
update quality:illicit_sw_A_3,sw_A_3_is_installed=false;
.

59
CG_Files/Employee_AC/sync_dmca.xp
View File

@ -1,33 +1,34 @@
uninstall group exploit remove_all_A(torrent_prog_A,illicit_sw_A_1,illicit_sw_A_2,illicit_sw_A_3)=
preconditions:
quality:torrent_prog_A,is_installed=true;
quality:illicit_sw_A_1,is_installed=true;
quality:illicit_sw_A_2,is_installed=true;
quality:illicit_sw_A_3,is_installed=true;
postconditions:
update quality:torrent_prog_A,is_installed=false;
update quality:illicit_sw_A_1,is_installed=false;
update quality:illicit_sw_A_2,is_installed=false;
update quality:illicit_sw_A_3,is_installed=false;
.
uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5,illicit_sw_C_6,illicit_sw_C_7)= uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5,illicit_sw_C_6,illicit_sw_C_7)=
preconditions: preconditions:
quality:torrent_prog_C,is_installed=true; quality:torrent_prog_C,prog_C_is_installed=true;
quality:illicit_sw_C_1,is_installed=true; quality:illicit_sw_C_1,sw_C_1_is_installed=true;
quality:illicit_sw_C_2,is_installed=true; quality:illicit_sw_C_2,sw_C_2_is_installed=true;
quality:illicit_sw_C_3,is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
quality:illicit_sw_C_4,is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
quality:illicit_sw_C_5,is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
quality:illicit_sw_C_6,is_installed=true; quality:illicit_sw_C_6,sw_C_6_is_installed=true;
quality:illicit_sw_C_7,is_installed=true; quality:illicit_sw_C_7,sw_C_7_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_C,is_installed=false; quality:torrent_prog_C,prog_C_is_installed=false;
update quality:illicit_sw_C_1,is_installed=false; quality:illicit_sw_C_1,sw_C_1_is_installed=false;
update quality:illicit_sw_C_2,is_installed=false; quality:illicit_sw_C_2,sw_C_2_is_installed=false;
update quality:illicit_sw_C_3,is_installed=false; quality:illicit_sw_C_3,sw_C_3_is_installed=false;
update quality:illicit_sw_C_4,is_installed=false; quality:illicit_sw_C_4,sw_C_4_is_installed=false;
update quality:illicit_sw_C_5,is_installed=false; quality:illicit_sw_C_5,sw_C_5_is_installed=false;
update quality:illicit_sw_C_6,is_installed=false; quality:illicit_sw_C_6,sw_C_6_is_installed=false;
update quality:illicit_sw_C_7,is_installed=false; quality:illicit_sw_C_7,sw_C_7_is_installed=false;
. .
uninstall group exploit remove_all_A(torrent_prog_A,illicit_sw_A_1,illicit_sw_A_2,illicit_sw_A_3)=
preconditions:
quality:torrent_prog_A,prog_A_is_installed=true;
quality:illicit_sw_A_1,sw_A_1_is_installed=true;
quality:illicit_sw_A_2,sw_A_2_is_installed=true;
quality:illicit_sw_A_3,sw_A_3_is_installed=true;
postconditions:
quality:torrent_prog_A,prog_A_is_installed=false;
quality:illicit_sw_A_1,sw_A_1_is_installed=false;
quality:illicit_sw_A_2,sw_A_2_is_installed=false;
quality:illicit_sw_A_3,sw_A_3_is_installed=false;
.

18
CG_Files/Employee_B/dmca.nm
View File

@ -1,18 +1,18 @@
network model = network model =
assets: assets:
torrent_prog_B; torrent_prog_B;
illicit_sw_B_1; illicit_sw_B_1;
illicit_sw_B_2; illicit_sw_B_2;
illicit_sw_B_3; illicit_sw_B_3;
illicit_sw_B_4; illicit_sw_B_4;
facts: facts:
quality:torrent_prog_B,is_installed=true; quality:torrent_prog_B,prog_B_is_installed=true;
quality:illicit_sw_B_1,is_installed=true;
quality:illicit_sw_B_2,is_installed=true;
quality:illicit_sw_B_3,is_installed=true;
quality:illicit_sw_B_4,is_installed=true;
topology:illicit_sw_B_2->illicit_sw_B_3,org; quality:illicit_sw_B_1,sw_B_1_is_installed=true;
quality:illicit_sw_B_2,sw_B_2_is_installed=true;
quality:illicit_sw_B_3,sw_B_3_is_installed=true;
quality:illicit_sw_B_4,sw_B_4_is_installed=true;
topology:illicit_sw_B_3->illicit_sw_B_4,org;
. .

20
CG_Files/Employee_B/dmca.xp
View File

@ -1,34 +1,34 @@
exploit remove_torrent_prog_B(torrent_prog_B)= exploit remove_torrent_prog_B(torrent_prog_B)=
preconditions: preconditions:
quality:torrent_prog_B,is_installed=true; quality:torrent_prog_B,prog_B_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_B,is_installed=false; update quality:torrent_prog_B,prog_B_is_installed=false;
. .
exploit remove_illicit_sw_B_1(illicit_sw_B_1)= exploit remove_illicit_sw_B_1(illicit_sw_B_1)=
preconditions: preconditions:
quality:illicit_sw_B_1,is_installed=true; quality:illicit_sw_B_1,sw_B_1_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_B_1,is_installed=false; update quality:illicit_sw_B_1,sw_B_1_is_installed=false;
. .
exploit remove_illicit_sw_B_2(illicit_sw_B_2)= exploit remove_illicit_sw_B_2(illicit_sw_B_2)=
preconditions: preconditions:
quality:illicit_sw_B_2,is_installed=true; quality:illicit_sw_B_2,sw_B_2_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_B_2,is_installed=false; update quality:illicit_sw_B_2,sw_B_2_is_installed=false;
. .
exploit remove_illicit_sw_B_3(illicit_sw_B_3)= exploit remove_illicit_sw_B_3(illicit_sw_B_3)=
preconditions: preconditions:
quality:illicit_sw_B_3,is_installed=true; quality:illicit_sw_B_3,sw_B_3_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_B_3,is_installed=false; update quality:illicit_sw_B_3,sw_B_3_is_installed=false;
. .
exploit remove_illicit_sw_B_4(illicit_sw_B_4)= exploit remove_illicit_sw_B_4(illicit_sw_B_4)=
preconditions: preconditions:
quality:illicit_sw_B_4,is_installed=true; quality:illicit_sw_B_4,sw_B_4_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_B_4,is_installed=false; update quality:illicit_sw_B_4,sw_B_4_is_installed=false;
. .

20
CG_Files/Employee_B/sync_dmca.xp
View File

@ -1,14 +1,14 @@
uninstall group exploit remove_all_B(torrent_prog_B,illicit_sw_B_1,illicit_sw_B_2,illicit_sw_B_3,illicit_sw_B_4)= uninstall group exploit remove_all_B(torrent_prog_B,illicit_sw_B_1,illicit_sw_B_2,illicit_sw_B_3,illicit_sw_B_4)=
preconditions: preconditions:
quality:torrent_prog_B,is_installed=true; quality:torrent_prog_B,prog_B_is_installed=true;
quality:illicit_sw_B_1,is_installed=true; quality:illicit_sw_B_1,sw_B_1_is_installed=true;
quality:illicit_sw_B_2,is_installed=true; quality:illicit_sw_B_2,sw_B_2_is_installed=true;
quality:illicit_sw_B_3,is_installed=true; quality:illicit_sw_B_3,sw_B_3_is_installed=true;
quality:illicit_sw_B_4,is_installed=true; quality:illicit_sw_B_4,sw_B_4_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_B,is_installed=false; quality:torrent_prog_B,prog_B_is_installed=false;
update quality:illicit_sw_B_1,is_installed=false; quality:illicit_sw_B_1,sw_B_1_is_installed=false;
update quality:illicit_sw_B_2,is_installed=false; quality:illicit_sw_B_2,sw_B_2_is_installed=false;
update quality:illicit_sw_B_3,is_installed=false; quality:illicit_sw_B_3,sw_B_3_is_installed=false;
update quality:illicit_sw_B_4,is_installed=false; quality:illicit_sw_B_4,sw_B_4_is_installed=false;
. .

43
CG_Files/Employee_BC/dmca.nm
View File

@ -1,11 +1,5 @@
network model = network model =
assets: assets:
torrent_prog_B;
illicit_sw_B_1;
illicit_sw_B_2;
illicit_sw_B_3;
illicit_sw_B_4;
torrent_prog_C; torrent_prog_C;
illicit_sw_C_1; illicit_sw_C_1;
illicit_sw_C_2; illicit_sw_C_2;
@ -14,23 +8,30 @@ network model =
illicit_sw_C_5; illicit_sw_C_5;
illicit_sw_C_6; illicit_sw_C_6;
illicit_sw_C_7; illicit_sw_C_7;
torrent_prog_B;
illicit_sw_B_1;
illicit_sw_B_2;
illicit_sw_B_3;
illicit_sw_B_4;
facts: facts:
quality:torrent_prog_B,is_installed=true; quality:torrent_prog_C,prog_C_is_installed=true;
quality:torrent_prog_C,is_installed=true;
quality:illicit_sw_B_1,is_installed=true;
quality:illicit_sw_B_2,is_installed=true;
quality:illicit_sw_B_3,is_installed=true;
quality:illicit_sw_B_4,is_installed=true;
quality:illicit_sw_C_1,is_installed=true; quality:illicit_sw_C_1,sw_C_1_is_installed=true;
quality:illicit_sw_C_2,is_installed=true; quality:illicit_sw_C_2,sw_C_2_is_installed=true;
quality:illicit_sw_C_3,is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
quality:illicit_sw_C_4,is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
quality:illicit_sw_C_5,is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
quality:illicit_sw_C_6,is_installed=true; quality:illicit_sw_C_6,sw_C_6_is_installed=true;
quality:illicit_sw_C_7,is_installed=true; quality:illicit_sw_C_7,sw_C_7_is_installed=true;
quality:torrent_prog_B,prog_B_is_installed=true;
quality:illicit_sw_B_1,sw_B_1_is_installed=true;
quality:illicit_sw_B_2,sw_B_2_is_installed=true;
quality:illicit_sw_B_3,sw_B_3_is_installed=true;
quality:illicit_sw_B_4,sw_B_4_is_installed=true;
topology:illicit_sw_C_6->illicit_sw_C_7,org; topology:illicit_sw_C_6->illicit_sw_C_7,org;
. .

105
CG_Files/Employee_BC/dmca.xp
View File

@ -1,92 +1,91 @@
exploit remove_torrent_prog_B(torrent_prog_B)=
preconditions:
quality:torrent_prog_B,is_installed=true;
postconditions:
update quality:torrent_prog_B,is_installed=false;
.
exploit remove_torrent_prog_C(torrent_prog_C)= exploit remove_torrent_prog_C(torrent_prog_C)=
preconditions: preconditions:
quality:torrent_prog_C,is_installed=true; quality:torrent_prog_C,prog_C_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_C,is_installed=false; update quality:torrent_prog_C,prog_C_is_installed=false;
.
exploit remove_illicit_sw_B_1(illicit_sw_B_1)=
preconditions:
quality:illicit_sw_B_1,is_installed=true;
postconditions:
update quality:illicit_sw_B_1,is_installed=false;
.
exploit remove_illicit_sw_B_2(illicit_sw_B_2)=
preconditions:
quality:illicit_sw_B_2,is_installed=true;
postconditions:
update quality:illicit_sw_B_2,is_installed=false;
.
exploit remove_illicit_sw_B_3(illicit_sw_B_3)=
preconditions:
quality:illicit_sw_B_3,is_installed=true;
postconditions:
update quality:illicit_sw_B_3,is_installed=false;
.
exploit remove_illicit_sw_B_4(illicit_sw_B_4)=
preconditions:
quality:illicit_sw_B_4,is_installed=true;
postconditions:
update quality:illicit_sw_B_4,is_installed=false;
. .
exploit remove_illicit_sw_C_1(illicit_sw_C_1)= exploit remove_illicit_sw_C_1(illicit_sw_C_1)=
preconditions: preconditions:
quality:illicit_sw_C_1,is_installed=true; quality:illicit_sw_C_1,sw_C_1_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_1,is_installed=false; update quality:illicit_sw_C_1,sw_C_1_is_installed=false;
. .
exploit remove_illicit_sw_C_2(illicit_sw_C_2)= exploit remove_illicit_sw_C_2(illicit_sw_C_2)=
preconditions: preconditions:
quality:illicit_sw_C_2,is_installed=true; quality:illicit_sw_C_2,sw_C_2_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_2,is_installed=false; update quality:illicit_sw_C_2,sw_C_2_is_installed=false;
. .
exploit remove_illicit_sw_C_3(illicit_sw_C_3)= exploit remove_illicit_sw_C_3(illicit_sw_C_3)=
preconditions: preconditions:
quality:illicit_sw_C_3,is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_3,is_installed=false; update quality:illicit_sw_C_3,sw_C_3_is_installed=false;
. .
exploit remove_illicit_sw_C_4(illicit_sw_C_4)= exploit remove_illicit_sw_C_4(illicit_sw_C_4)=
preconditions: preconditions:
quality:illicit_sw_C_4,is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_4,is_installed=false; update quality:illicit_sw_C_4,sw_C_4_is_installed=false;
. .
exploit remove_illicit_sw_C_5(illicit_sw_C_5)= exploit remove_illicit_sw_C_5(illicit_sw_C_5)=
preconditions: preconditions:
quality:illicit_sw_C_5,is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_5,is_installed=false; update quality:illicit_sw_C_5,sw_C_5_is_installed=false;
. .
exploit remove_illicit_sw_C_6(illicit_sw_C_6)= exploit remove_illicit_sw_C_6(illicit_sw_C_6)=
preconditions: preconditions:
quality:illicit_sw_C_6,is_installed=true; quality:illicit_sw_C_6,sw_C_6_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_6,is_installed=false; update quality:illicit_sw_C_6,sw_C_6_is_installed=false;
. .
exploit remove_illicit_sw_C_7(illicit_sw_C_7)= exploit remove_illicit_sw_C_7(illicit_sw_C_7)=
preconditions: preconditions:
quality:illicit_sw_C_7,is_installed=true; quality:illicit_sw_C_7,sw_C_7_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_7,is_installed=false; update quality:illicit_sw_C_7,sw_C_7_is_installed=false;
. .
exploit remove_torrent_prog_B(torrent_prog_B)=
preconditions:
quality:torrent_prog_B,prog_B_is_installed=true;
postconditions:
update quality:torrent_prog_B,prog_B_is_installed=false;
.
exploit remove_illicit_sw_B_1(illicit_sw_B_1)=
preconditions:
quality:illicit_sw_B_1,sw_B_1_is_installed=true;
postconditions:
update quality:illicit_sw_B_1,sw_B_1_is_installed=false;
.
exploit remove_illicit_sw_B_2(illicit_sw_B_2)=
preconditions:
quality:illicit_sw_B_2,sw_B_2_is_installed=true;
postconditions:
update quality:illicit_sw_B_2,sw_B_2_is_installed=false;
.
exploit remove_illicit_sw_B_3(illicit_sw_B_3)=
preconditions:
quality:illicit_sw_B_3,sw_B_3_is_installed=true;
postconditions:
update quality:illicit_sw_B_3,sw_B_3_is_installed=false;
.
exploit remove_illicit_sw_B_4(illicit_sw_B_4)=
preconditions:
quality:illicit_sw_B_4,sw_B_4_is_installed=true;
postconditions:
update quality:illicit_sw_B_4,sw_B_4_is_installed=false;
.

63
CG_Files/Employee_BC/sync_dmca.xp
View File

@ -1,35 +1,36 @@
uninstall group exploit remove_all_B(torrent_prog_B,illicit_sw_B_1,illicit_sw_B_2,illicit_sw_B_3,illicit_sw_B_4)=
preconditions:
quality:torrent_prog_B,is_installed=true;
quality:illicit_sw_B_1,is_installed=true;
quality:illicit_sw_B_2,is_installed=true;
quality:illicit_sw_B_3,is_installed=true;
quality:illicit_sw_B_4,is_installed=true;
postconditions:
update quality:torrent_prog_B,is_installed=false;
update quality:illicit_sw_B_1,is_installed=false;
update quality:illicit_sw_B_2,is_installed=false;
update quality:illicit_sw_B_3,is_installed=false;
update quality:illicit_sw_B_4,is_installed=false;
.
uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5,illicit_sw_C_6,illicit_sw_C_7)= uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5,illicit_sw_C_6,illicit_sw_C_7)=
preconditions: preconditions:
quality:torrent_prog_C,is_installed=true; quality:torrent_prog_C,prog_C_is_installed=true;
quality:illicit_sw_C_1,is_installed=true; quality:illicit_sw_C_1,sw_C_1_is_installed=true;
quality:illicit_sw_C_2,is_installed=true; quality:illicit_sw_C_2,sw_C_2_is_installed=true;
quality:illicit_sw_C_3,is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
quality:illicit_sw_C_4,is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
quality:illicit_sw_C_5,is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
quality:illicit_sw_C_6,is_installed=true; quality:illicit_sw_C_6,sw_C_6_is_installed=true;
quality:illicit_sw_C_7,is_installed=true; quality:illicit_sw_C_7,sw_C_7_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_C,is_installed=false; quality:torrent_prog_C,prog_C_is_installed=false;
update quality:illicit_sw_C_1,is_installed=false; quality:illicit_sw_C_1,sw_C_1_is_installed=false;
update quality:illicit_sw_C_2,is_installed=false; quality:illicit_sw_C_2,sw_C_2_is_installed=false;
update quality:illicit_sw_C_3,is_installed=false; quality:illicit_sw_C_3,sw_C_3_is_installed=false;
update quality:illicit_sw_C_4,is_installed=false; quality:illicit_sw_C_4,sw_C_4_is_installed=false;
update quality:illicit_sw_C_5,is_installed=false; quality:illicit_sw_C_5,sw_C_5_is_installed=false;
update quality:illicit_sw_C_6,is_installed=false; quality:illicit_sw_C_6,sw_C_6_is_installed=false;
update quality:illicit_sw_C_7,is_installed=false; quality:illicit_sw_C_7,sw_C_7_is_installed=false;
. .
uninstall group exploit remove_all_B(torrent_prog_B,illicit_sw_B_1,illicit_sw_B_2,illicit_sw_B_3,illicit_sw_B_4)=
preconditions:
quality:torrent_prog_B,prog_B_is_installed=true;
quality:illicit_sw_B_1,sw_B_1_is_installed=true;
quality:illicit_sw_B_2,sw_B_2_is_installed=true;
quality:illicit_sw_B_3,sw_B_3_is_installed=true;
quality:illicit_sw_B_4,sw_B_4_is_installed=true;
postconditions:
quality:torrent_prog_B,prog_B_is_installed=false;
quality:illicit_sw_B_1,sw_B_1_is_installed=false;
quality:illicit_sw_B_2,sw_B_2_is_installed=false;
quality:illicit_sw_B_3,sw_B_3_is_installed=false;
quality:illicit_sw_B_4,sw_B_4_is_installed=false;
.

16
CG_Files/Employee_C/dmca.nm
View File

@ -10,15 +10,15 @@ network model =
illicit_sw_C_7; illicit_sw_C_7;
facts: facts:
quality:torrent_prog_C,is_installed=true; quality:torrent_prog_C,prog_C_is_installed=true;
quality:illicit_sw_C_1,is_installed=true; quality:illicit_sw_C_1,sw_C_1_is_installed=true;
quality:illicit_sw_C_2,is_installed=true; quality:illicit_sw_C_2,sw_C_2_is_installed=true;
quality:illicit_sw_C_3,is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
quality:illicit_sw_C_4,is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
quality:illicit_sw_C_5,is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
quality:illicit_sw_C_6,is_installed=true; quality:illicit_sw_C_6,sw_C_6_is_installed=true;
quality:illicit_sw_C_7,is_installed=true; quality:illicit_sw_C_7,sw_C_7_is_installed=true;
topology:illicit_sw_C_6->illicit_sw_C_7,org; topology:illicit_sw_C_6->illicit_sw_C_7,org;
. .

32
CG_Files/Employee_C/dmca.xp
View File

@ -1,55 +1,55 @@
exploit remove_torrent_prog_C(torrent_prog_C)= exploit remove_torrent_prog_C(torrent_prog_C)=
preconditions: preconditions:
quality:torrent_prog_C,is_installed=true; quality:torrent_prog_C,prog_C_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_C,is_installed=false; update quality:torrent_prog_C,prog_C_is_installed=false;
. .
exploit remove_illicit_sw_C_1(illicit_sw_C_1)= exploit remove_illicit_sw_C_1(illicit_sw_C_1)=
preconditions: preconditions:
quality:illicit_sw_C_1,is_installed=true; quality:illicit_sw_C_1,sw_C_1_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_1,is_installed=false; update quality:illicit_sw_C_1,sw_C_1_is_installed=false;
. .
exploit remove_illicit_sw_C_2(illicit_sw_C_2)= exploit remove_illicit_sw_C_2(illicit_sw_C_2)=
preconditions: preconditions:
quality:illicit_sw_C_2,is_installed=true; quality:illicit_sw_C_2,sw_C_2_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_2,is_installed=false; update quality:illicit_sw_C_2,sw_C_2_is_installed=false;
. .
exploit remove_illicit_sw_C_3(illicit_sw_C_3)= exploit remove_illicit_sw_C_3(illicit_sw_C_3)=
preconditions: preconditions:
quality:illicit_sw_C_3,is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_3,is_installed=false; update quality:illicit_sw_C_3,sw_C_3_is_installed=false;
. .
exploit remove_illicit_sw_C_4(illicit_sw_C_4)= exploit remove_illicit_sw_C_4(illicit_sw_C_4)=
preconditions: preconditions:
quality:illicit_sw_C_4,is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_4,is_installed=false; update quality:illicit_sw_C_4,sw_C_4_is_installed=false;
. .
exploit remove_illicit_sw_C_5(illicit_sw_C_5)= exploit remove_illicit_sw_C_5(illicit_sw_C_5)=
preconditions: preconditions:
quality:illicit_sw_C_5,is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_5,is_installed=false; update quality:illicit_sw_C_5,sw_C_5_is_installed=false;
. .
exploit remove_illicit_sw_C_6(illicit_sw_C_6)= exploit remove_illicit_sw_C_6(illicit_sw_C_6)=
preconditions: preconditions:
quality:illicit_sw_C_6,is_installed=true; quality:illicit_sw_C_6,sw_C_6_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_6,is_installed=false; update quality:illicit_sw_C_6,sw_C_6_is_installed=false;
. .
exploit remove_illicit_sw_C_7(illicit_sw_C_7)= exploit remove_illicit_sw_C_7(illicit_sw_C_7)=
preconditions: preconditions:
quality:illicit_sw_C_7,is_installed=true; quality:illicit_sw_C_7,sw_C_7_is_installed=true;
postconditions: postconditions:
update quality:illicit_sw_C_7,is_installed=false; update quality:illicit_sw_C_7,sw_C_7_is_installed=false;
. .

32
CG_Files/Employee_C/sync_dmca.xp
View File

@ -1,20 +1,20 @@
uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5,illicit_sw_C_6,illicit_sw_C_7)= uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5,illicit_sw_C_6,illicit_sw_C_7)=
preconditions: preconditions:
quality:torrent_prog_C,is_installed=true; quality:torrent_prog_C,prog_C_is_installed=true;
quality:illicit_sw_C_1,is_installed=true; quality:illicit_sw_C_1,sw_C_1_is_installed=true;
quality:illicit_sw_C_2,is_installed=true; quality:illicit_sw_C_2,sw_C_2_is_installed=true;
quality:illicit_sw_C_3,is_installed=true; quality:illicit_sw_C_3,sw_C_3_is_installed=true;
quality:illicit_sw_C_4,is_installed=true; quality:illicit_sw_C_4,sw_C_4_is_installed=true;
quality:illicit_sw_C_5,is_installed=true; quality:illicit_sw_C_5,sw_C_5_is_installed=true;
quality:illicit_sw_C_6,is_installed=true; quality:illicit_sw_C_6,sw_C_6_is_installed=true;
quality:illicit_sw_C_7,is_installed=true; quality:illicit_sw_C_7,sw_C_7_is_installed=true;
postconditions: postconditions:
update quality:torrent_prog_C,is_installed=false; quality:torrent_prog_C,prog_C_is_installed=false;
update quality:illicit_sw_C_1,is_installed=false; quality:illicit_sw_C_1,sw_C_1_is_installed=false;
update quality:illicit_sw_C_2,is_installed=false; quality:illicit_sw_C_2,sw_C_2_is_installed=false;
update quality:illicit_sw_C_3,is_installed=false; quality:illicit_sw_C_3,sw_C_3_is_installed=false;
update quality:illicit_sw_C_4,is_installed=false; quality:illicit_sw_C_4,sw_C_4_is_installed=false;
update quality:illicit_sw_C_5,is_installed=false; quality:illicit_sw_C_5,sw_C_5_is_installed=false;
update quality:illicit_sw_C_6,is_installed=false; quality:illicit_sw_C_6,sw_C_6_is_installed=false;
update quality:illicit_sw_C_7,is_installed=false; quality:illicit_sw_C_7,sw_C_7_is_installed=false;
. .