annotate src/ur/openid.urs @ 11:e637249abfd2

Test with RP-side nonces
author Adam Chlipala <adam@chlipala.net>
date Wed, 29 Dec 2010 16:25:32 -0500
parents 194577b60771
children de04a3fc6b72
rev   line source
adam@8 1 datatype association_type = HMAC_SHA1 | HMAC_SHA256
adam@8 2 datatype association_session_type = NoEncryption | DH_SHA1 | DH_SHA256
adam@10 3 datatype authentication = AuthenticatedAs of string | Canceled | Failure of string
adam@8 4
adam@10 5 val authenticate : (authentication -> transaction page)
adam@10 6 -> {AssociationType : association_type,
adam@10 7 AssociationSessionType : association_session_type,
adam@10 8 Identifier : string}
adam@10 9 -> transaction string
adam@4 10 (* Doesn't return normally if everything goes as planned.
adam@10 11 * Instead, the user is redirected to his OP to authenticate there.
adam@10 12 * Later, the function passed as the first argument should be called with the result. *)