verigraph/examples/verigraph-req3-fail.json


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115

{
   "nodes":[
      {
         "neighbours":[
            {
               "name":"webserver1"
            },
            {
               "name":"nat"
            }
         ],
         "configuration":[
            {
               "webserver1":"nat"
            }
         ],
         "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"
            }
         ],
         "configuration":[
            "sex"
         ],
         "name":"dpi",
         "functional_type":"dpi"
      },
      {
         "neighbours":[
            {
               "name":"nat"
            }
         ],
         "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":"cats",
               "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"
      }
   ]
}