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