Attesto.RequestObject (Attesto v0.7.2)

Copy Markdown View Source

Signed OpenID Connect Request Object verification (JAR, RFC 9101 / OIDC §6.1).

This module verifies a compact JWT request object against trusted client JWKs supplied by the host. It deliberately rejects unsigned request objects: a host that wants request objects is opting into integrity protection, not a second unsigned parameter encoding.

Summary

Types

verify_error()
verify_opts()

Functions

verify(jwt, trusted_jwks, opts \\ [])

Verify and return a string-keyed parameter map from a signed request object.

Types

verify_error()

@type verify_error() ::
  :invalid_request_object
  | :request_not_supported
  | :invalid_signature
  | :invalid_issuer
  | :invalid_audience
  | :invalid_typ
  | :expired
  | :not_yet_valid
  | :unsupported_critical_header

verify_opts()

@type verify_opts() :: [
  now: DateTime.t() | non_neg_integer(),
  issuer: String.t() | nil,
  audience: String.t() | [String.t()],
  accepted_algs: [Attesto.SigningAlg.alg()],
  require_nbf: boolean(),
  max_nbf_age_seconds: pos_integer() | nil,
  require_exp: boolean(),
  max_lifetime_seconds: pos_integer() | nil,
  accepted_typ: [String.t() | nil] | nil
]

Functions

verify(jwt, trusted_jwks, opts \\ [])

@spec verify(String.t(), map() | [map()] | map(), verify_opts()) ::
  {:ok, map()} | {:error, verify_error()}

Verify and return a string-keyed parameter map from a signed request object.

The object must carry iss, client_id, and aud. iss must match the object's client_id and the caller-supplied :issuer; aud must match the caller-supplied :audience.

Opts implementing the RFC 9101 / FAPI Message Signing 2.0 §5.3.1 strict-JAR policy. Every one defaults to the lenient JAR/OIDC §6.1 behaviour, so a caller that passes none observes no change:

  • :accepted_algs - JOSE algorithms a candidate trusted key may use. Defaults to SigningAlg.fapi_algs/0 (PS256, ES256, EdDSA).
  • :require_nbf - when true, reject an object without an nbf claim. Defaults to false. (RFC 9101 / FAPI Message Signing 2.0 §5.3.1.)
  • :max_nbf_age_seconds - when set, reject an nbf older than now - N. Defaults to nil (no lower bound).
  • :require_exp - when true, reject an object without an exp claim. Defaults to false.
  • :max_lifetime_seconds - when set, require valid nbf and exp NumericDate anchors and reject an exp greater than nbf + N. Defaults to nil (no lifetime bound).
  • :accepted_typ - when a list, require the JOSE header typ to be a member; nil in the list permits an absent typ. Defaults to nil, which accepts any typ including its absence.