This page covers how to write policies for the content of the requests that are passed to OPA by Envoy’s External Authorization filter.

Let’s start with an example policy that restricts access to an endpoint based on a user’s role and permissions.

The first line declaration gives the (hierarchical) name envoy.authz to the rules in the remainder of the policy. If the OPA-Envoy does not specify the path field, envoy/authz/allow will be considered as the default policy decision path. data.envoy.authz.allow will be the name of the policy decision to query in the default case.

The above policy uses the io.jwt.decode_verify builtin function to parse and verify the JWT containing information about the user making the request. It uses other builtins like glob.match, lower, base64url.decode etc. OPA has 150+ builtins detailed at openpolicyagent.org/docs/policy-reference.

The dot notation seen in multiple places in the policy for ex. input.parsed_body.firstname simply descends through the hierarchy to access the requested value. The dot (.) operator never throws any errors; if the path does not exist the value of the expression is undefined.

  1. data.envoy.authz.allow

Sample input received by OPA is shown below:

Policy Primer via Examples - 图2

  1. {
  2.   "attributes": {
  3.     "request": {
  4.       "http": {
  5.         "method": "GET",
  6.         "path": "/people/",
  7.         "headers": {
  8.           "authorization": "Bearer eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJyb2xlIjoiZ3Vlc3QiLCJzdWIiOiJZV3hwWTJVPSIsIm5iZiI6MTUxNDg1MTEzOSwiZXhwIjoxNjQxMDgxNTM5fQ.K5DnnbbIOspRbpCr2IKXE9cPVatGOCBrBQobQmBmaeU"
  9.         }
  10.       }
  11.     }
  12.   }
  13. }

With the input value above, the answer is:

  1. true
  1. package envoy.authz
  3. default allow = {
  4.   "allowed": false,
  5.   "headers": {"x-ext-auth-allow": "no"},
  6.   "body": "Unauthorized Request",
  7.   "http_status": 301
  8. }
  10. allow = response {
  11.   input.attributes.request.http.method == "GET"
  12.   response := {
  13.     "allowed": true,
  14.     "headers": {"x-ext-auth-allow": "yes"}
  15.   }
  16. }

Policy Primer via Examples - 图4

  1. data.envoy.authz.allow

Sample input received by OPA is shown below:

With the input value above, the answer is:

Policy Primer via Examples - 图6

  1. {
  2.   "allowed": true,
  3.   "headers": {
  4.     "x-ext-auth-allow": "yes"
  5.   }
  6. }

In OPA, input is a reserved, global variable whose value is the request sent by the Envoy External Authorization filter to OPA. The OPA-Envoy plugin supports both and v3 versions of the CheckRequest which is used to pass the request to OPA.

For v3 requests, the is used for making the incoming envoy.service.auth.v3.CheckRequest available in input. It differs from the encoding used for v2 requests. In v3, all keys are lower camelcase. Also, needless nesting of oneof values is removed.

For example, source address data that looks like this in v2,

  1. "source": {
  2.   "address": {
  3.     "Address": {
  4.       "SocketAddress": {
  5.         "PortSpecifier": {
  6.           "PortValue": 59052
  7.         },
  8.         "address": "127.0.0.1"
  9.       }
  10.     }
  11.   }
  12. }

becomes, in v3,

  1. "source": {
  2.   "address": {
  3.     "socketAddress": {
  4.       "address": "127.0.0.1",
  5.       "portValue": 59052
  6.     }
  7.   }
  8. }

The following table shows the rego code for common data, in v2 and v3:

  1. input.version == { "ext_authz": "v2", "encoding": "encoding/json" }

or, for v3,

  1. input.version == { "ext_authz": "v3", "encoding": "protojson" }

To have Envoy use the v3 version of the service, the http_filters entry in the Envoy configuration should look like below (minimal version):

Example Input

Example v3 Input

  1. {
  2.   "attributes": {
  3.     "source": {
  4.       "address": {
  5.           "address": "172.17.0.1",
  6.           "portValue": 61402
  7.         }
  8.       }
  9.     },
  10.     "destination": {
  11.       "address": {
  12.         "socketAddress": {
  13.           "address": "172.17.06",
  14.           "portValue": 8000
  15.         }
  16.       }
  17.     },
  18.     "request": {
  19.       "time": "2020-11-20T09:47:47.722473Z",
  20.       "http": {
  21.         "id":"13519049518330544501",
  22.         "method": "POST",
  23.         "headers": {
  24.           ":authority":"192.168.99.206:30164",
  25.           ":method":"POST",
  26.           ":path":"/people?lang=en",
  27.           "accept": "*/*",
  28.           "authorization":"Bearer eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJyb2xlIjoiYWRtaW4iLCJzdWIiOiJZbTlpIiwibmJmIjoxNTE0ODUxMTM5LCJleHAiOjE2NDEwODE1Mzl9.WCxNAveAVAdRCmkpIObOTaSd0AJRECY2Ch2Qdic3kU8",
  29.           "content-length":"41",
  30.           "content-type":"application/json",
  31.           "user-agent":"curl/7.54.0",
  32.           "x-forwarded-proto":"http",
  33.           "x-request-id":"7bca5c86-bf55-432c-b212-8c0f1dc999ec"
  34.         },
  35.         "host":"192.168.99.206:30164",
  36.         "path":"/people?lang=en",
  37.         "protocol":"HTTP/1.1",
  38.         "body":"{\"firstname\":\"Charlie\", \"lastname\":\"Opa\"}",
  39.         "size":41
  40.       }
  41.     },
  42.     "metadataContext": {}
  43.   },
  44.   "parsed_body":{"firstname": "Charlie", "lastname": "Opa"},
  45.   "parsed_path":["people"],
  46.   "parsed_query": {"lang": ["en"]},
  47.   "truncated_body": false,
  48.   "version": {
  49.     "encoding":"protojson",
  50.     "ext_authz":"v3"
  51.   }
  52. }

Example v2 Input

  1. {
  2.   "attributes":{
  3.      "source":{
  4.         "address":{
  5.            "Address":{
  6.               "SocketAddress":{
  7.                  "PortSpecifier":{
  8.                     "PortValue":61402
  9.                  },
  10.                  "address":"172.17.0.1"
  11.               }
  12.            }
  13.         }
  14.      },
  15.      "destination":{
  16.         "address":{
  17.            "Address":{
  18.               "SocketAddress":{
  19.                  "PortSpecifier":{
  20.                     "PortValue":8000
  21.                  },
  22.                  "address":"172.17.0.6"
  23.            }
  24.         }
  25.      },
  26.      "request":{
  27.         "http":{
  28.            "id":"13519049518330544501",
  29.            "method":"POST",
  30.            "headers":{
  31.               ":authority":"192.168.99.206:30164",
  32.               ":method":"POST",
  33.               ":path":"/people?lang=en",
  34.               "accept":"*/*",
  35.               "authorization":"Bearer eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJyb2xlIjoiYWRtaW4iLCJzdWIiOiJZbTlpIiwibmJmIjoxNTE0ODUxMTM5LCJleHAiOjE2NDEwODE1Mzl9.WCxNAveAVAdRCmkpIObOTaSd0AJRECY2Ch2Qdic3kU8",
  36.               "content-length":"41",
  37.               "content-type":"application/json",
  38.               "user-agent":"curl/7.54.0",
  39.               "x-forwarded-proto":"http",
  40.               "x-request-id":"7bca5c86-bf55-432c-b212-8c0f1dc999ec"
  41.            },
  42.            "host":"192.168.99.206:30164",
  43.            "path":"/people?lang=en",
  44.            "protocol":"HTTP/1.1",
  45.            "body":"{\"firstname\":\"Charlie\", \"lastname\":\"Opa\"}",
  46.            "size":41
  47.         }
  48.      }
  49.   },
  50.   "parsed_body":{"firstname": "Charlie", "lastname": "Opa"},
  51.   "parsed_path":["people"],
  52.   "parsed_query": {"lang": ["en"]},
  53.   "truncated_body": false,
  54.   "version": {
  55.     "encoding":"encoding/json",
  56.     "ext_authz":"v2"
  57.   }
  58. }

The parsed_path field in the input is generated from the path field in the HTTP request which is included in the Envoy External Authorization CheckRequest message type. This field provides the request path as a string array which can help policy authors perform pattern matching on the HTTP request path. The below sample policy allows anyone to access the path /people.

  1. package envoy.authz
  3. default allow = false
  5. allow {
  6.    input.parsed_path = ["people"]
  7. }

The parsed_query field in the input is also generated from the path field in the HTTP request. This field provides the HTTP URL query as a map of string array. The below sample policy allows anyone to access the path /people?lang=en&id=1&id=2.

  1. package envoy.authz
  3. default allow = false
  5. allow {
  6.    input.parsed_path = ["people"]
  7.    input.parsed_query.lang = ["en"]
  8.    input.parsed_query.id = ["1", "2"]
  9. }

The parsed_body field in the input is generated from the body field in the HTTP request which is included in the Envoy External Authorization CheckRequest message type. This field contains the deserialized JSON request body which can then be used in a policy as shown below.

  1. package envoy.authz
  3. default allow = false
  5. allow {
  6.    input.parsed_body.firstname == "Charlie"
  7.    input.parsed_body.lastname == "Opa"
  8. }

The truncated_body field in the input represents if the HTTP request body is truncated. The body is considered to be truncated, if the value of the Content-Length header exceeds the size of the request body.

Example with JWT payload passed from Envoy

Envoy can be configured to pass validated JWT payload data into the ext_authz filter with metadata_context_namespaces and payload_in_metadata.

This will result in something like the following dictionary being added to input.attributes (some common fields have been excluded for brevity):

  1.   "metadata_context": {
  2.     "filter_metadata": {
  3.       "envoy.filters.http.jwt_authn": {
  4.         "verified_jwt": {
  5.           "email": "alice@example.com",
  6.           "exp": 1569026124,
  7.           "name": "Alice"
  8.         }
  9.       }
  10.     }