diff options
| author |   julien zhang <zhang.jun3g@zte.com.cn> | 2017-09-12 14:47:37 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@opnfv.org> | 2017-09-12 14:47:37 +0000 |
| commit | 8153ff1bac0ec3664c777302396698e4fb5f34b9 (patch) | |
| tree | 2b97892774e3ced5f0c10e400657d28f9222749b /verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json | |
| parent | 96de9387460091e7cf0dc5fde1afaa637a8b2b79 (diff) | |
| parent | a42de79292d9541db7865b54e93be2d0b6e6a094 (diff) | |
Merge "update verigraph"
Diffstat (limited to 'verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json')
| -rw-r--r-- | verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json b/verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json new file mode 100644 index 0000000..3dc8a56 --- /dev/null +++ b/verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json @@ -0,0 +1,52 @@ +{
+ "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":"endpoint",
+ "neighbours":[
+
+ ]
+ }
+ ]
+}
\ No newline at end of file |