Crypto.WebAuthn.AttestationStatementFormat.Packed

This module implements the Packed Attestation Statement Format.

Documentation

format :: SomeAttestationStatementFormat

Helper function that wraps the Packed format into the general SomeAttestationStatementFormat type.

data Format

The Packed format. The sole purpose of this type is to instantiate the AttestationStatementFormat typeclass below.

Constructors

Format

Instances

Show Format

Defined in Crypto.WebAuthn.AttestationStatementFormat.Packed

Methods

showsPrec :: Int -> Format -> ShowS

show :: Format -> String

showList :: [Format] -> ShowS

AttestationStatementFormat Format

Defined in Crypto.WebAuthn.AttestationStatementFormat.Packed

Associated Types

type AttStmt Format

type AttStmtVerificationError Format

Methods

asfIdentifier :: Format -> Text

asfVerify :: Format -> DateTime -> AttStmt Format -> AuthenticatorData 'Registration 'True -> ClientDataHash -> Validation (NonEmpty (AttStmtVerificationError Format)) SomeAttestationType

asfTrustAnchors :: Format -> VerifiableAttestationType -> CertificateStore

asfDecode :: Format -> HashMap Text Term -> Either Text (AttStmt Format)

asfEncode :: Format -> AttStmt Format -> Term

type AttStmt Format

Defined in Crypto.WebAuthn.AttestationStatementFormat.Packed

type AttStmt Format

type AttStmtVerificationError Format

Defined in Crypto.WebAuthn.AttestationStatementFormat.Packed

type AttStmtVerificationError Format = VerificationError

data VerificationError

Verification errors specific to Packed attestation

Constructors

AlgorithmMismatch

The Algorithm from the attestation format does not match the algorithm of the key in the credential data

Fields

• statementAlg :: CoseSignAlg

  The algorithm received in the attestation statement

• credentialAlg :: CoseSignAlg

  The algorithm of the credentialPublicKey in authenticatorData

InvalidSignature Text

The statement key cannot verify the signature over the attested credential data and client data for self attestation

VerificationFailure SignatureFailure

The statement certificate cannot verify the signature over the attested credential data and client data for nonself attestation

CertificateRequirementsUnmet

The certificate does not meet the requirements layed out in the webauthn specification https://www.w3.org/TR/webauthn-2/#sctn-packed-attestation-cert-requirements

CertificateAAGUIDMismatch

The AAGUID in the certificate extension does not match the AAGUID in the authenticator data

Fields

• certificateExtensionAAGUID :: AAGUID

  AAGUID from the id-fido-gen-ce-aaguid certificate extension

• attestedCredentialDataAAGUID :: AAGUID

  A AGUID from the attested credential data in the authenticator data

Instances

Exception VerificationError

Defined in Crypto.WebAuthn.AttestationStatementFormat.Packed

Methods

toException :: VerificationError -> SomeException

fromException :: SomeException -> Maybe VerificationError

displayException :: VerificationError -> String

Show VerificationError

Defined in Crypto.WebAuthn.AttestationStatementFormat.Packed

Methods

showsPrec :: Int -> VerificationError -> ShowS

show :: VerificationError -> String

showList :: [VerificationError] -> ShowS