summaryrefslogtreecommitdiffstats
path: root/verigraph/examples
diff options
context:
space:
mode:
Diffstat (limited to 'verigraph/examples')
-rw-r--r--verigraph/examples/budapest_sat.json78
-rw-r--r--verigraph/examples/budapest_unsat.json83
-rw-r--r--verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json52
-rw-r--r--verigraph/examples/verigraph-req4-fail.json118
-rw-r--r--verigraph/examples/verigraph-req4-success.json118
5 files changed, 449 insertions, 0 deletions
diff --git a/verigraph/examples/budapest_sat.json b/verigraph/examples/budapest_sat.json
new file mode 100644
index 0000000..d7874ce
--- /dev/null
+++ b/verigraph/examples/budapest_sat.json
@@ -0,0 +1,78 @@
+{
+ "nodes": [
+ {
+ "name": "user1",
+ "functional_type": "endpoint",
+ "neighbours": [
+ {
+ "name": "nat"
+ }
+ ]
+ },
+ {
+ "name": "nat",
+ "functional_type": "nat",
+ "neighbours": [
+ {
+ "name": "firewall"
+ },
+ {
+ "name": "user1"
+ }
+ ],
+ "configuration": [
+ "user1",
+ "user2"
+ ]
+ },
+ {
+ "name": "firewall",
+ "functional_type": "firewall",
+ "neighbours": [
+ {
+ "name": "webserver"
+ },
+ {
+ "name": "nat"
+ },
+ {
+ "name": "dpi"
+ }
+ ]
+ },
+ {
+ "name": "webserver",
+ "functional_type": "endpoint",
+ "neighbours": [
+ {
+ "name": "firewall"
+ }
+ ]
+ },
+ {
+ "name": "user2",
+ "functional_type": "endpoint",
+ "neighbours": [
+ {
+ "name": "dpi"
+ }
+ ]
+ },
+ {
+ "name": "dpi",
+ "functional_type": "nat",
+ "neighbours": [
+ {
+ "name": "firewall"
+ },
+ {
+ "name": "user2"
+ }
+ ],
+ "configuration": [
+ "user1",
+ "user2"
+ ]
+ }
+ ]
+} \ No newline at end of file
diff --git a/verigraph/examples/budapest_unsat.json b/verigraph/examples/budapest_unsat.json
new file mode 100644
index 0000000..978dcd7
--- /dev/null
+++ b/verigraph/examples/budapest_unsat.json
@@ -0,0 +1,83 @@
+{
+ "nodes": [
+ {
+ "name": "user1",
+ "functional_type": "endpoint",
+ "neighbours": [
+ {
+ "name": "nat"
+ }
+ ]
+ },
+ {
+ "name": "nat",
+ "functional_type": "nat",
+ "neighbours": [
+ {
+ "name": "firewall"
+ },
+ {
+ "name": "user1"
+ }
+ ],
+ "configuration": [
+ "user1",
+ "user2"
+ ]
+ },
+ {
+ "name": "firewall",
+ "functional_type": "firewall",
+ "neighbours": [
+ {
+ "name": "webserver"
+ },
+ {
+ "name": "nat"
+ },
+ {
+ "name": "dpi"
+ }
+ ],
+ "configuration": [
+ {
+ "webserver": "nat"
+ }
+ ]
+ },
+ {
+ "name": "webserver",
+ "functional_type": "endpoint",
+ "neighbours": [
+ {
+ "name": "firewall"
+ }
+ ]
+ },
+ {
+ "name": "user2",
+ "functional_type": "endpoint",
+ "neighbours": [
+ {
+ "name": "dpi"
+ }
+ ]
+ },
+ {
+ "name": "dpi",
+ "functional_type": "nat",
+ "neighbours": [
+ {
+ "name": "firewall"
+ },
+ {
+ "name": "user2"
+ }
+ ],
+ "configuration": [
+ "user1",
+ "user2"
+ ]
+ }
+ ]
+} \ No newline at end of file
diff --git a/verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json b/verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json
new file mode 100644
index 0000000..3dc8a56
--- /dev/null
+++ b/verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json
@@ -0,0 +1,52 @@
+{
+ "nodes":[
+ {
+ "name":"user1",
+ "functional_type":"endhost",
+ "neighbours":[
+ {
+ "name":"nat"
+ }
+ ],
+ "configuration":
+ [
+ {
+ "body": "sex",
+ "protocol": "HTTP_REQUEST",
+ "destination": "webserver"
+ }
+ ]
+ },
+ {
+ "name":"nat",
+ "functional_type":"nat",
+ "neighbours":[
+ {
+ "name":"dpi"
+ }
+ ],
+ "configuration":[
+ "user1"
+ ]
+ },
+ {
+ "name":"dpi",
+ "functional_type":"dpi",
+ "neighbours":[
+ {
+ "name":"webserver"
+ }
+ ],
+ "configuration":[
+ "sex", "droga"
+ ]
+ },
+ {
+ "name":"webserver",
+ "functional_type":"endpoint",
+ "neighbours":[
+
+ ]
+ }
+ ]
+} \ No newline at end of file
diff --git a/verigraph/examples/verigraph-req4-fail.json b/verigraph/examples/verigraph-req4-fail.json
new file mode 100644
index 0000000..06b4766
--- /dev/null
+++ b/verigraph/examples/verigraph-req4-fail.json
@@ -0,0 +1,118 @@
+{
+ "nodes":[
+ {
+ "neighbours":[
+ {
+ "name":"webserver1"
+ },
+ {
+ "name":"nat"
+ }
+ ],
+ "configuration":[
+ {
+ "ip_host1":"webserver1"
+ }
+ ],
+ "name":"fw",
+ "functional_type":"firewall"
+ },
+ {
+ "neighbours":[
+ {
+ "name":"host3"
+ },
+ {
+ "name":"fw"
+ }
+ ],
+ "name":"webserver1",
+ "functional_type":"webserver"
+ },
+ {
+ "neighbours":[
+ {
+ "name":"host1"
+ },
+ {
+ "name":"dpi"
+ },
+ {
+ "name":"fw"
+ }
+ ],
+ "configuration":[
+ "host1",
+ "host2"
+ ],
+ "name":"nat",
+ "functional_type":"nat"
+ },
+ {
+ "neighbours":[
+ {
+ "name":"host2"
+ },
+ {
+ "name":"nat"
+ }
+ ],
+ "configuration":[
+ "sex"
+ ],
+ "name":"dpi",
+ "functional_type":"dpi"
+ },
+ {
+ "neighbours":[
+ {
+ "name":"dpi"
+ }
+ ],
+ "configuration":[
+ {
+ "url":"www.facebook.com",
+ "body":"sex",
+ "destination":"webserver1",
+ "protocol":"HTTP_REQUEST"
+ }
+ ],
+ "name":"host2",
+ "functional_type":"endhost"
+ },
+ {
+ "neighbours":[
+ {
+ "name":"nat"
+ }
+ ],
+ "configuration":[
+ {
+ "url":"www.facebook.com",
+ "body":"drug",
+ "destination":"webserver1",
+ "protocol":"HTTP_REQUEST"
+ }
+ ],
+ "name":"host1",
+ "functional_type":"endhost"
+ },
+ {
+ "neighbours":[
+ {
+ "name":"webserver1"
+ }
+ ],
+ "configuration":[
+ {
+ "url":"www.facebook.com",
+ "body":"cats",
+ "destination":"webserver1",
+ "protocol":"HTTP_REQUEST"
+ }
+ ],
+ "name":"host3",
+ "functional_type":"endhost"
+ }
+ ]
+} \ No newline at end of file
diff --git a/verigraph/examples/verigraph-req4-success.json b/verigraph/examples/verigraph-req4-success.json
new file mode 100644
index 0000000..422ad38
--- /dev/null
+++ b/verigraph/examples/verigraph-req4-success.json
@@ -0,0 +1,118 @@
+{
+ "nodes":[
+ {
+ "neighbours":[
+ {
+ "name":"webserver1"
+ },
+ {
+ "name":"nat"
+ }
+ ],
+ "configuration":[
+ {
+ "ip_host1":"webserver1"
+ }
+ ],
+ "name":"fw",
+ "functional_type":"firewall"
+ },
+ {
+ "neighbours":[
+ {
+ "name":"host3"
+ },
+ {
+ "name":"fw"
+ }
+ ],
+ "name":"webserver1",
+ "functional_type":"webserver"
+ },
+ {
+ "neighbours":[
+ {
+ "name":"host1"
+ },
+ {
+ "name":"dpi"
+ },
+ {
+ "name":"fw"
+ }
+ ],
+ "configuration":[
+ "host1",
+ "host2"
+ ],
+ "name":"nat",
+ "functional_type":"nat"
+ },
+ {
+ "neighbours":[
+ {
+ "name":"host2"
+ },
+ {
+ "name":"nat"
+ }
+ ],
+ "configuration":[
+ "sex"
+ ],
+ "name":"dpi",
+ "functional_type":"dpi"
+ },
+ {
+ "neighbours":[
+ {
+ "name":"dpi"
+ }
+ ],
+ "configuration":[
+ {
+ "url":"www.facebook.com",
+ "body":"candy",
+ "destination":"webserver1",
+ "protocol":"HTTP_REQUEST"
+ }
+ ],
+ "name":"host2",
+ "functional_type":"endhost"
+ },
+ {
+ "neighbours":[
+ {
+ "name":"nat"
+ }
+ ],
+ "configuration":[
+ {
+ "url":"www.facebook.com",
+ "body":"drug",
+ "destination":"webserver1",
+ "protocol":"HTTP_REQUEST"
+ }
+ ],
+ "name":"host1",
+ "functional_type":"endhost"
+ },
+ {
+ "neighbours":[
+ {
+ "name":"webserver1"
+ }
+ ],
+ "configuration":[
+ {
+ "url":"www.facebook.com",
+ "body":"cats",
+ "destination":"webserver1",
+ "protocol":"HTTP_REQUEST"
+ }
+ ],
+ "name":"host3",
+ "functional_type":"endhost"
+ }
+ ]
+} \ No newline at end of file