verigraph/tester/testcases/test_budapest_sap1_webserver_unsat.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
116
117
118
119
120
121
122

{  
   "id":7,
   "name":"budapest_test_case_unsat",
   "description":"This test case verifies budapest scenario, chain sap1->webserver1 with fw blocking",
   "policy_url_parameters":"?type=reachability&source=sap1&destination=webserver1",
   "result":"UNSAT",
   "graph":{
      "nodes":[
         {
            "neighbours":[
               {
                  "name":"webserver1"
               },
               {
                  "name":"nat"
               }
            ],
            "configuration":[
               {
                  "webserver1":"nat"
               }
            ],
            "name":"fw",
            "functional_type":"firewall"
         },
         {
            "neighbours":[
               {
                  "name":"sap3"
               },
               {
                  "name":"fw"
               }
            ],
            "name":"webserver1",
            "functional_type":"webserver"
         },
         {
            "neighbours":[
               {
                  "name":"sap1"
               },
               {
                  "name":"dpi"
               },
               {
                  "name":"fw"
               }
            ],
            "configuration":[
               "sap1",
               "sap2"
            ],
            "name":"nat",
            "functional_type":"nat"
         },
         {
            "neighbours":[
               {
                  "name":"sap2"
               }
            ],
            "configuration":[
               "drug"
            ],
            "name":"dpi",
            "functional_type":"dpi"
         },
         {
            "neighbours":[
               {
                  "name":"nat"
               }
            ],
            "configuration":[
               {
                  "url":"www.facebook.com",
                  "body":"cats",
                  "destination":"webserver1",
                  "protocol":"HTTP_REQUEST"
               }
            ],
            "name":"sap2",
            "functional_type":"endhost"
         },
         {
            "neighbours":[
               {
                  "name":"nat"
               }
            ],
            "configuration":[
               {
                  "url":"www.facebook.com",
                  "body":"cats",
                  "destination":"webserver1",
                  "protocol":"HTTP_REQUEST"
               }
            ],
            "name":"sap1",
            "functional_type":"endhost"
         },
         {
            "neighbours":[
               {
                  "name":"webserver1"
               }
            ],
            "configuration":[
               {
                  "url":"www.facebook.com",
                  "body":"cats",
                  "destination":"webserver1",
                  "protocol":"HTTP_REQUEST"
               }
            ],
            "name":"sap3",
            "functional_type":"endhost"
         }
      ]
   }
}