verigraph/tester/testcases/test_user_nat_dpi_webserver_trafficBlocked.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

{
    "id": 1,
    "name": "simple_test_case",
    "description": "This test case contains a graph with client, firewall and server",
    "policy_url_parameters": [
        "?type=reachability&source=user1&destination=webserver"
    ],
    "results": [
        "UNSAT"
    ],
    "graph": {
        "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": "webserver",
                "neighbours": []
            }
        ]
    }
}