From 3cce81ee6a8d42a1c8365d125f72b6dcefcaebff Mon Sep 17 00:00:00 2001
From: noah <noah@theschricks.com>
Date: Fri, 29 Apr 2022 13:57:27 -0500
Subject: [PATCH] Network 3 (PCI network) nm and xp files

---
 CG_Files/Network_3/PCI.nm |  21 ++++++++
 CG_Files/Network_3/PCI.xp | 105 ++++++++++++++++++++++++++++++++++++++
 2 files changed, 126 insertions(+)
 create mode 100644 CG_Files/Network_3/PCI.nm
 create mode 100644 CG_Files/Network_3/PCI.xp

diff --git a/CG_Files/Network_3/PCI.nm b/CG_Files/Network_3/PCI.nm
new file mode 100644
index 0000000..6254028
--- /dev/null
+++ b/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:
+.
diff --git a/CG_Files/Network_3/PCI.xp b/CG_Files/Network_3/PCI.xp
new file mode 100644
index 0000000..8f4eac5
--- /dev/null
+++ b/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;
+.