DataFlex

Verify a JWT Created by the Amazon Cognito Service

See more JSON Web Token (JWT) Examples

Demonstrates how to verify a JWT created by the Amazon Cognito Service. DataFlex

Use ChilkatAx-win32.pkg

Procedure Test
    Boolean iSuccess
    Handle hoHttp
    Variant vSbJsonKeys
    Handle hoSbJsonKeys
    Handle hoJsonKeys
Key1    Handle hoJsonKey1
    Variant vPubKey1
    Handle hoPubKey1
    Handle hoJwt
    String sToken
    Boolean iSigVerified
    Integer iLeeway
    Boolean iBTimeValid
    String sPayload
    Handle hoJson
    String sJoseHeader
    String sTemp1

    Move False To iSuccess

    // This example requires the Chilkat API to have been previously unlocked.
    // See Global Unlock Sample for sample code.

    // The public keys for this example are at https://cognito-idp.us-east-2.amazonaws.com/us-east-2_******/.well-known/jwks.json
    // Let's get them:

    Get Create (RefClass(cComChilkatHttp)) To hoHttp
    If (Not(IsComObjectCreated(hoHttp))) Begin
        Send CreateComObject of hoHttp
    End
    Get Create (RefClass(cComChilkatStringBuilder)) To hoSbJsonKeys
    If (Not(IsComObjectCreated(hoSbJsonKeys))) Begin
        Send CreateComObject of hoSbJsonKeys
    End
    Get pvComObject of hoSbJsonKeys to vSbJsonKeys
    Get ComQuickGetSb Of hoHttp "https://cognito-idp.us-east-2.amazonaws.com/us-east-2_******/.well-known/jwks.json" vSbJsonKeys To iSuccess
    If (iSuccess = False) Begin
        Get ComLastErrorText Of hoHttp To sTemp1
        Showln sTemp1
        Procedure_Return
    End

    Get Create (RefClass(cComChilkatJsonObject)) To hoJsonKeys
    If (Not(IsComObjectCreated(hoJsonKeys))) Begin
        Send CreateComObject of hoJsonKeys
    End
    Get pvComObject of hoSbJsonKeys to vSbJsonKeys
    Get ComLoadSb Of hoJsonKeys vSbJsonKeys To iSuccess
    Set ComEmitCompact Of hoJsonKeys To False
    Get ComEmit Of hoJsonKeys To sTemp1
    Showln sTemp1

    // Here are the keys:

    // {
    //   "keys": [
    //     {
    //       "alg": "RS256",
    //       "e": "AQAB",
    //       "kid": "1A/L5Fsb2EsEwxy5E0cmCMS1BnMe6Jl6NXiMig4iNwU=",
    //       "kty": "RSA",
    //       "n": "y0w7BJrIJYi ... jKG27z2P3OKw",
    //       "use": "sig"
    //     },
    //     {
    //       "alg": "RS256",
    //       "e": "AQAB",
    //       "kid": "mos6VTJnvDwurY3ghJg6IAPUq+dMwl6CL/iThzJOkzg=",
    //       "kty": "RSA",
    //       "n": "qbIEH-7tg6yrT ... 3Fj94ooTd0w",
    //       "use": "sig"
    //     }
    //   ]
    // }

    // Try the 1st key.
    Get Create (RefClass(cComChilkatJsonObject)) To hoJsonKey1
    If (Not(IsComObjectCreated(hoJsonKey1))) Begin
        Send CreateComObject of hoJsonKey1
    End
    Get pvComObject of hoJsonKey1 to vJsonKey1
    Get ComObjectOf2 Of hoJsonKeys "keys[0]" vJsonKey1 To iSuccess

    Get Create (RefClass(cComChilkatPublicKey)) To hoPubKey1
    If (Not(IsComObjectCreated(hoPubKey1))) Begin
        Send CreateComObject of hoPubKey1
    End
    Get ComEmit Of hoJsonKey1 To sTemp1
    Get ComLoadFromString Of hoPubKey1 sTemp1 To iSuccess
    If (iSuccess = False) Begin
        Get ComLastErrorText Of hoPubKey1 To sTemp1
        Showln sTemp1
        Procedure_Return
    End

    Showln "Success"

    Get Create (RefClass(cComChilkatJwt)) To hoJwt
    If (Not(IsComObjectCreated(hoJwt))) Begin
        Send CreateComObject of hoJwt
    End

    // I did not include the an actual AWS Cognito token here because our test sample used customer-provided data..
    Move "eyJ..asXg" To sToken

    // First verify the signature.
    Get pvComObject of hoPubKey1 to vPubKey1
    Get ComVerifyJwtPk Of hoJwt sToken vPubKey1 To iSigVerified
    Showln "verified: " iSigVerified

    // Let's see if the time constraints, if any, are valid.
    // The above JWT was created on the afternoon of 16-May-2016, with an expiration of 1 hour.
    // If the current system time is before the "nbf" time, or after the "exp" time,
    // then IsTimeValid will return false/0.
    // Also, we'll allow a leeway of 60 seconds to account for any clock skew.
    // Note: If the token has no "nbf" or "exp" claim fields, then IsTimeValid is always true.
    Move 60 To iLeeway
    Get ComIsTimeValid Of hoJwt sToken iLeeway To iBTimeValid
    Showln "time constraints valid: " iBTimeValid

    // Now let's recover the original claims JSON (the payload).
    Get ComGetPayload Of hoJwt sToken To sPayload
    // The payload will likely be in compact form:
    Showln sPayload

    // We can format for human viewing by loading it into Chilkat's JSON object
    // and emit.
    Get Create (RefClass(cComChilkatJsonObject)) To hoJson
    If (Not(IsComObjectCreated(hoJson))) Begin
        Send CreateComObject of hoJson
    End
    Get ComLoad Of hoJson sPayload To iSuccess
    Set ComEmitCompact Of hoJson To False
    Get ComEmit Of hoJson To sTemp1
    Showln sTemp1

    // We can recover the original JOSE header in the same way:
    Get ComGetHeader Of hoJwt sToken To sJoseHeader
    // The payload will likely be in compact form:
    Showln sJoseHeader

    // We can format for human viewing by loading it into Chilkat's JSON object
    // and emit.
    Get ComLoad Of hoJson sJoseHeader To iSuccess
    Set ComEmitCompact Of hoJson To False
    Get ComEmit Of hoJson To sTemp1
    Showln sTemp1


End_Procedure