From a42de79292d9541db7865b54e93be2d0b6e6a094 Mon Sep 17 00:00:00 2001 From: "serena.spinoso" Date: Thu, 7 Sep 2017 10:22:39 +0200 Subject: update verigraph JIRA: PARSER-154 code optimizations about graph manipulation and formula generation. Change-Id: Idebef19b128281aa2bc40d1aeab6e208c7ddd93d Signed-off-by: serena.spinoso --- verigraph/examples/budapest_sat.json | 78 ++++++++++++++ verigraph/examples/budapest_unsat.json | 83 +++++++++++++++ .../examples/simple_user-nat-dpi-ws_UNSAT.json | 52 +++++++++ verigraph/examples/verigraph-req4-fail.json | 118 +++++++++++++++++++++ verigraph/examples/verigraph-req4-success.json | 118 +++++++++++++++++++++ 5 files changed, 449 insertions(+) create mode 100644 verigraph/examples/budapest_sat.json create mode 100644 verigraph/examples/budapest_unsat.json create mode 100644 verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json create mode 100644 verigraph/examples/verigraph-req4-fail.json create mode 100644 verigraph/examples/verigraph-req4-success.json (limited to 'verigraph/examples') 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 -- cgit 1.2.3-korg