summaryrefslogtreecommitdiffstats
path: root/verigraph/jsonschema
diff options
context:
space:
mode:
Diffstat (limited to 'verigraph/jsonschema')
-rw-r--r--verigraph/jsonschema/antispam.json11
-rw-r--r--verigraph/jsonschema/cache.json11
-rw-r--r--verigraph/jsonschema/database.json5
-rw-r--r--verigraph/jsonschema/dpi.json11
-rw-r--r--verigraph/jsonschema/endhost.json42
-rw-r--r--verigraph/jsonschema/endpoint.json9
-rw-r--r--verigraph/jsonschema/fieldmodifier.json12
-rw-r--r--verigraph/jsonschema/firewall.json11
-rw-r--r--verigraph/jsonschema/mailclient.json22
-rw-r--r--verigraph/jsonschema/mailserver.json12
-rw-r--r--verigraph/jsonschema/nat.json11
-rw-r--r--verigraph/jsonschema/vpnaccess.json22
-rw-r--r--verigraph/jsonschema/vpnexit.json22
-rw-r--r--verigraph/jsonschema/webclient.json22
-rw-r--r--verigraph/jsonschema/webserver.json12
15 files changed, 235 insertions, 0 deletions
diff --git a/verigraph/jsonschema/antispam.json b/verigraph/jsonschema/antispam.json
new file mode 100644
index 0000000..dae3db9
--- /dev/null
+++ b/verigraph/jsonschema/antispam.json
@@ -0,0 +1,11 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Antispam",
+ "description": "Polito Antispam",
+ "type": "array",
+ "items": {
+ "type": "string"
+ },
+ "minItems": 0,
+ "uniqueItems": true
+} \ No newline at end of file
diff --git a/verigraph/jsonschema/cache.json b/verigraph/jsonschema/cache.json
new file mode 100644
index 0000000..0511e7b
--- /dev/null
+++ b/verigraph/jsonschema/cache.json
@@ -0,0 +1,11 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Cache",
+ "description": "Polito Cache",
+ "type": "array",
+ "items": {
+ "type": "string"
+ },
+ "minItems": 0,
+ "uniqueItems": true
+} \ No newline at end of file
diff --git a/verigraph/jsonschema/database.json b/verigraph/jsonschema/database.json
new file mode 100644
index 0000000..5b02a50
--- /dev/null
+++ b/verigraph/jsonschema/database.json
@@ -0,0 +1,5 @@
+[
+
+
+
+]
diff --git a/verigraph/jsonschema/dpi.json b/verigraph/jsonschema/dpi.json
new file mode 100644
index 0000000..6e4dd6f
--- /dev/null
+++ b/verigraph/jsonschema/dpi.json
@@ -0,0 +1,11 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Dpi",
+ "description": "Polito IDS",
+ "type": "array",
+ "items": {
+ "type": "string"
+ },
+ "minItems": 0,
+ "uniqueItems": true
+} \ No newline at end of file
diff --git a/verigraph/jsonschema/endhost.json b/verigraph/jsonschema/endhost.json
new file mode 100644
index 0000000..37c8881
--- /dev/null
+++ b/verigraph/jsonschema/endhost.json
@@ -0,0 +1,42 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Endhost",
+ "description": "Polito Endhost",
+ "type": "array",
+ "items": {
+ "type": "object",
+ "properties": {
+ "body": {
+ "description": "HTTP body",
+ "type": "string"
+ },
+ "sequence": {
+ "description": "Sequence number",
+ "type": "integer"
+ },
+ "protocol": {
+ "description": "Protocol",
+ "type": "string",
+ "enum": ["HTTP_REQUEST", "HTTP_RESPONSE", "POP3_REQUEST", "POP3_RESPONSE"]
+ },
+ "email_from": {
+ "description": "E-mail sender",
+ "type": "string"
+ },
+ "url": {
+ "description": "URL",
+ "type": "string"
+ },
+ "options": {
+ "description": "Options",
+ "type": "string"
+ },
+ "destination": {
+ "description": "Destination node",
+ "type": "string"
+ }
+ },
+ "additionalProperties": false
+ },
+ "maxItems": 1
+} \ No newline at end of file
diff --git a/verigraph/jsonschema/endpoint.json b/verigraph/jsonschema/endpoint.json
new file mode 100644
index 0000000..1e6a521
--- /dev/null
+++ b/verigraph/jsonschema/endpoint.json
@@ -0,0 +1,9 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Endpoint",
+ "description": "Polito Endpoint",
+ "type": "array",
+ "minItems": 0,
+ "maxItems":0,
+ "uniqueItems": true
+} \ No newline at end of file
diff --git a/verigraph/jsonschema/fieldmodifier.json b/verigraph/jsonschema/fieldmodifier.json
new file mode 100644
index 0000000..8be9419
--- /dev/null
+++ b/verigraph/jsonschema/fieldmodifier.json
@@ -0,0 +1,12 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Field Modifier",
+ "description": "Polito Field Modifier",
+ "type": "array",
+ "items": {
+ "type": "object"
+ },
+ "minItems": 0,
+ "maxItems":0,
+ "uniqueItems": true
+} \ No newline at end of file
diff --git a/verigraph/jsonschema/firewall.json b/verigraph/jsonschema/firewall.json
new file mode 100644
index 0000000..01ec63f
--- /dev/null
+++ b/verigraph/jsonschema/firewall.json
@@ -0,0 +1,11 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Firewall",
+ "description": "Polito Firewall",
+ "type": "array",
+ "items": {
+ "type": "object"
+ },
+ "minItems": 0,
+ "uniqueItems": true
+} \ No newline at end of file
diff --git a/verigraph/jsonschema/mailclient.json b/verigraph/jsonschema/mailclient.json
new file mode 100644
index 0000000..cacfd5f
--- /dev/null
+++ b/verigraph/jsonschema/mailclient.json
@@ -0,0 +1,22 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Mail Client",
+ "description": "Polito Mail Client",
+ "type": "array",
+ "items": {
+ "type": "object",
+ "properties": {
+ "mailserver": {
+ "description": "Mail server name",
+ "type": "string"
+ }
+ },
+ "additionalProperties": false,
+ "required": [
+ "mailserver"
+ ]
+ },
+ "minItems": 1,
+ "maxItems": 1,
+ "uniqueItems": true
+} \ No newline at end of file
diff --git a/verigraph/jsonschema/mailserver.json b/verigraph/jsonschema/mailserver.json
new file mode 100644
index 0000000..974b560
--- /dev/null
+++ b/verigraph/jsonschema/mailserver.json
@@ -0,0 +1,12 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Mail Server",
+ "description": "Polito Mail Server",
+ "type": "array",
+ "items": {
+ "type": "object"
+ },
+ "minItems": 0,
+ "maxItems": 0,
+ "uniqueItems": true
+} \ No newline at end of file
diff --git a/verigraph/jsonschema/nat.json b/verigraph/jsonschema/nat.json
new file mode 100644
index 0000000..f2b973a
--- /dev/null
+++ b/verigraph/jsonschema/nat.json
@@ -0,0 +1,11 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Nat",
+ "description": "Polito Nat",
+ "type": "array",
+ "items": {
+ "type": "string"
+ },
+ "minItems": 0,
+ "uniqueItems": true
+} \ No newline at end of file
diff --git a/verigraph/jsonschema/vpnaccess.json b/verigraph/jsonschema/vpnaccess.json
new file mode 100644
index 0000000..907118d
--- /dev/null
+++ b/verigraph/jsonschema/vpnaccess.json
@@ -0,0 +1,22 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Vpn Access",
+ "description": "Polito Vpn Access",
+ "type": "array",
+ "items": {
+ "type": "object",
+ "properties": {
+ "vpnexit": {
+ "description": "Vpn Exit",
+ "type": "string"
+ }
+ },
+ "additionalProperties": false,
+ "required": [
+ "vpnexit"
+ ]
+ },
+ "minItems": 1,
+ "maxItems": 1,
+ "uniqueItems": true
+} \ No newline at end of file
diff --git a/verigraph/jsonschema/vpnexit.json b/verigraph/jsonschema/vpnexit.json
new file mode 100644
index 0000000..c80a138
--- /dev/null
+++ b/verigraph/jsonschema/vpnexit.json
@@ -0,0 +1,22 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Vpn Exit",
+ "description": "Polito Vpn Exit",
+ "type": "array",
+ "items": {
+ "type": "object",
+ "properties": {
+ "vpnaccess": {
+ "description": "Vpn Access",
+ "type": "string"
+ }
+ },
+ "additionalProperties": false,
+ "required": [
+ "vpnaccess"
+ ]
+ },
+ "minItems": 1,
+ "maxItems": 1,
+ "uniqueItems": true
+} \ No newline at end of file
diff --git a/verigraph/jsonschema/webclient.json b/verigraph/jsonschema/webclient.json
new file mode 100644
index 0000000..dfbc55e
--- /dev/null
+++ b/verigraph/jsonschema/webclient.json
@@ -0,0 +1,22 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Web client",
+ "description": "Polito Web Client",
+ "type": "array",
+ "items": {
+ "type": "object",
+ "properties": {
+ "webserver": {
+ "description": "Web server name",
+ "type": "string"
+ }
+ },
+ "additionalProperties": false,
+ "required": [
+ "webserver"
+ ]
+ },
+ "minItems": 1,
+ "maxItems": 1,
+ "uniqueItems": true
+} \ No newline at end of file
diff --git a/verigraph/jsonschema/webserver.json b/verigraph/jsonschema/webserver.json
new file mode 100644
index 0000000..5d7a1c4
--- /dev/null
+++ b/verigraph/jsonschema/webserver.json
@@ -0,0 +1,12 @@
+{
+ "$schema": "http://json-schema.org/draft-04/schema#",
+ "title": "Web Server",
+ "description": "Polito Web Server",
+ "type": "array",
+ "items": {
+ "type": "object"
+ },
+ "minItems": 0,
+ "maxItems": 0,
+ "uniqueItems": true
+} \ No newline at end of file