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
123
124
125
126

{
    "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"
    ],
    "results": [
        "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"
            }
        ]
    }
}