;; disfluid, implementation of the Solid specification Copyright (C)
;; 2020, 2021 Vivien Kraus
;; This program is free software: you can redistribute it and/or modify
;; it under the terms of the GNU Affero General Public License as
;; published by the Free Software Foundation, either version 3 of the
;; License, or (at your option) any later version.
;; This program is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
;; GNU Affero General Public License for more details.
;; You should have received a copy of the GNU Affero General Public License
;; along with this program. If not, see .
(use-modules (webid-oidc token-endpoint)
(webid-oidc authorization-code)
(webid-oidc refresh-token)
(webid-oidc dpop-proof)
(webid-oidc jwk)
(webid-oidc access-token)
(webid-oidc jws)
(webid-oidc jti)
(webid-oidc testing)
((webid-oidc stubs) #:prefix stubs:)
((webid-oidc parameters) #:prefix p:)
(web uri)
(web request)
(web response)
(srfi srfi-19)
(web response)
(ice-9 optargs)
(ice-9 receive))
(with-test-environment
"token-endpoint-refresh"
(lambda ()
(define key (generate-key #:n-size 2048))
(define client-key (generate-key #:n-size 2048))
(define subject (string->uri "https://token-endpoint-issue.scm/profile/card#me"))
(define client (string->uri "https://token-endpoint-issue.scm/client/card#app"))
(define issuer (string->uri "https://issuer.token-endpoint-issue.scm"))
(define refresh-code
(issue-refresh-token subject client (jkt client-key)))
(define endpoint (make-token-endpoint
(string->uri "https://token-endpoint-issue.scm/token")
issuer key))
(receive (response response-body . _)
;; The refresh token is fake!
(let ((dpop
(parameterize ((p:current-date 0))
(issue
client-key
#:jwk (public-key client-key)
#:htm 'POST
#:htu (string->uri
"https://token-endpoint-issue.scm/token")))))
(parameterize ((p:current-date 0))
(endpoint
(build-request (string->uri
"http://localhost:8080/token")
#:headers `((content-type application/x-www-form-urlencoded)
(dpop . ,dpop))
#:method 'POST
#:port #t)
"refresh_token=fake")))
(unless (eq? (response-code response) 400)
(exit 3))
(receive (response response-body user error)
(let ((dpop
(parameterize ((p:current-date 10))
(issue
client-key
#:jwk (public-key client-key)
#:htm 'POST
#:htu (string->uri
"https://token-endpoint-issue.scm/token")))))
(parameterize ((p:current-date 10))
(endpoint
(build-request (string->uri
"http://localhost:8080/token")
#:headers `((content-type application/x-www-form-urlencoded)
(dpop . ,dpop))
#:method 'POST
#:port #t)
(string-append "grant_type=refresh_token&refresh_token=" refresh-code))))
(unless (eq? (response-code response) 200)
(exit 4))
(unless (eq? (car (response-content-type response)) 'application/json)
(exit 5))
(let ((response (stubs:json-string->scm response-body)))
(let ((access-token-enc (assq-ref response 'access_token))
(refresh-token-enc (assq-ref response 'refresh_token)))
(unless access-token-enc
(exit 6))
(unless refresh-token-enc
(exit 7))
(let ((access-token
(parameterize ((p:current-date 20)
(p:anonymous-http-request
(lambda* (uri . args)
(cond
((equal? uri (string->uri "https://issuer.token-endpoint-issue.scm/.well-known/openid-configuration"))
(values (build-response #:headers '((content-type application/json)))
"{
\"jwks_uri\": \"https://token-endpoint-issue.scm/keys\",
\"token_endpoint\": \"https://token-endpoint-issue.scm/token\",
\"authorization_endpoint\": \"https://token-endpoint-issue.scm/authorize\",
\"solid_oidc_supported\": \"https://solidproject.org/TR/solid-oidc\"
}"))
((equal? uri (string->uri "https://token-endpoint-issue.scm/keys"))
(values (build-response #:headers '((content-type application/json)))
(stubs:scm->json-string `((keys . ,(list->vector (list (key->jwk key))))))))
(else
(exit 8))))))
(decode access-token-enc))))
(unless access-token
(exit 9))
(let ((access-token-cnf/jkt (cnf/jkt access-token)))
(unless access-token-cnf/jkt
(exit 10))
(unless (string=? access-token-cnf/jkt (jkt client-key))
(exit 11))))
(unless (string=? refresh-token-enc refresh-code)
(exit 12))))))))