Network 3 (PCI network) nm and xp files

CG_Files/Network_3/PCI.nm

@@ -0,0 +1,21 @@
+network model = 
+	assets:
+		# Company
+		company;		
+
+	facts:
+		quality:company,firewall_on=true;
+		quality:company,defaults=false;
+		quality:company,encryption=true;
+		quality:company,https=true;
+		quality:company,antivirus=true;
+		quality:company,pc_updates=true;
+		quality:company,access_control=true;
+		quality:company,unique_ID=true;
+		quality:company,lock=true;
+		quality:company,logging=true;
+		quality:company,compliance_vios=0;	
+
+	topology:company<->company,road;
+	tags:
+.

CG_Files/Network_3/PCI.xp

@@ -0,0 +1,105 @@
+exploit break_lock(a)=
+	preconditions:
+		quality:a,lock=true;
+	postconditions:
+		update quality:a,lock=false;
+.
+
+exploit lock(a)=
+	preconditions:
+		quality:a,lock=false;
+		quality:a,l
+	postconditions:
+		update quality:a,compliance_vios+=1;
+.
+
+exploit firewall(a)=
+	preconditions:
+		quality:a,firewall_on=false;
+	postconditions:
+		update quality:a,compliance_vios+=1;
+.
+
+exploit def(a)=
+	preconditions:
+		quality:a,defaults=true;
+	postconditions:
+		update quality:a,compliance_vios+=1;
+.
+
+exploit insec_transmission(a)=
+	preconditions:
+		quality:a,https=false;
+	postconditions:
+		update quality:a,compliance_vios+=1;
+.
+
+exploit insec_data(a)=
+	preconditions:
+		quality:a,encryption=false;
+	postconditions:
+		update quality:a,compliance_vios+=1;
+.
+
+exploit virus(a)=
+	preconditions:
+		quality:a,antivirus=false;
+	postconditions:
+		update quality:a,compliance_vios+=1;
+.
+
+exploit updates(a)=
+	preconditions:
+		quality:a,pc_updates=false;
+	postconditions:
+		update quality:a,compliance_vios+=1;
+.
+
+exploit AC(a)=
+	preconditions:
+		quality:a,access_control=false;
+	postconditions:
+		update quality:a,compliance_vios+=1;
+.
+
+exploit ID(a)=
+	preconditions:
+		quality:a,unique_ID=false;
+	postconditions:
+		update quality:a,compliance_vios+=1;
+.
+
+exploit logs(a)=
+	preconditions:
+		quality:a,logging=false;
+	postconditions:
+		update quality:a,compliance_vios+=1;
+.
+
+exploit power_outage(a)=
+	preconditions:
+		quality:a,firewall_on=true;
+	postconditions:
+		update quality:firewall_on=false;
+.
+
+exploit enc_expir(a)=
+	preconditions:
+		quality:a,encryption=true;
+	postconditions:
+		update quality:a,encryption=false;
+.
+
+exploit break_in(a)=
+	preconditions:
+		quality:a,lock=false;
+	postconditions:
+		insert quality:a,malicious_actor=true;
+.		
+
+exploit reset_router(a)=
+	preconditions:
+		quality:a,malicious_actor=true;
+	postconditions:
+		quality:a,defaults=true;
+.