verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json

   1 {\r
   2    "nodes":[\r
   3       {\r
   4          "name":"user1",\r
   5          "functional_type":"endhost",\r
   6          "neighbours":[\r
   7             {\r
   8                "name":"nat"\r
   9             }\r
  10          ],\r
  11         "configuration":\r
  12             [\r
  13                 {\r
  14                     "body": "sex",\r
  15                     "protocol": "HTTP_REQUEST",\r
  16                     "destination": "webserver"\r
  17                 }\r
  18             ]\r
  19       },\r
  20       {\r
  21          "name":"nat",\r
  22          "functional_type":"nat",\r
  23          "neighbours":[\r
  24             {\r
  25                "name":"dpi"\r
  26             }\r
  27          ],\r
  28          "configuration":[\r
  29             "user1"\r
  30          ]\r
  31       },\r
  32       {\r
  33          "name":"dpi",\r
  34          "functional_type":"dpi",\r
  35          "neighbours":[\r
  36             {\r
  37                "name":"webserver"\r
  38             }\r
  39          ],\r
  40          "configuration":[\r
  41            "sex", "droga"\r
  42          ]\r
  43       },\r
  44       {\r
  45          "name":"webserver",\r
  46          "functional_type":"endpoint",\r
  47          "neighbours":[\r
  48 \r
  49          ]\r
  50       }\r
  51    ]\r
  52 }