verigraph/tester/testcases/test_budapest_sap1_webserver_sat.json

   1 {
   2    "id":6,
   3    "name":"budapest_test_case_sat",
   4    "description":"This test case verifies budapest scenario, chain sap1->webserver1",
   5    "policy_url_parameters":"?type=reachability&source=sap1&destination=webserver1",
   6    "result":"SAT",
   7    "graph": {
   8       "nodes":[
   9          {
  10             "neighbours":[
  11                {
  12                   "name":"webserver1"
  13                },
  14                {
  15                   "name":"nat"
  16                }
  17             ],
  18             "configuration":[
  19                {
  20                   "ip_sap1":"webserver1"
  21                }
  22             ],
  23             "name":"fw",
  24             "functional_type":"firewall"
  25          },
  26          {
  27             "neighbours":[
  28                {
  29                   "name":"sap3"
  30                },
  31                {
  32                   "name":"fw"
  33                }
  34             ],
  35             "name":"webserver1",
  36             "functional_type":"webserver"
  37          },
  38          {
  39             "neighbours":[
  40                {
  41                   "name":"sap1"
  42                },
  43                {
  44                   "name":"dpi"
  45                },
  46                {
  47                   "name":"fw"
  48                }
  49             ],
  50             "configuration":[
  51                "sap1",
  52                "sap2"
  53             ],
  54             "name":"nat",
  55             "functional_type":"nat"
  56          },
  57          {
  58             "neighbours":[
  59                {
  60                   "name":"sap2"
  61                }
  62             ],
  63             "configuration":[
  64                "drug"
  65             ],
  66             "name":"dpi",
  67             "functional_type":"dpi"
  68          },
  69          {
  70             "neighbours":[
  71                {
  72                   "name":"nat"
  73                }
  74             ],
  75             "configuration":[
  76                {
  77                   "url":"www.facebook.com",
  78                   "body":"cats",
  79                   "destination":"webserver1",
  80                   "protocol":"HTTP_REQUEST"
  81                }
  82             ],
  83             "name":"sap2",
  84             "functional_type":"endhost"
  85          },
  86          {
  87             "neighbours":[
  88                {
  89                   "name":"nat"
  90                }
  91             ],
  92             "configuration":[
  93                {
  94                   "url":"www.facebook.com",
  95                   "body":"cats",
  96                   "destination":"webserver1",
  97                   "protocol":"HTTP_REQUEST"
  98                }
  99             ],
 100             "name":"sap1",
 101             "functional_type":"endhost"
 102          },
 103          {
 104             "neighbours":[
 105                {
 106                   "name":"webserver1"
 107                }
 108             ],
 109             "configuration":[
 110                {
 111                   "url":"www.facebook.com",
 112                   "body":"cats",
 113                   "destination":"webserver1",
 114                   "protocol":"HTTP_REQUEST"
 115                }
 116             ],
 117             "name":"sap3",
 118             "functional_type":"endhost"
 119          }
 120       ]
 121    }
 122 }