annotate src/ur/openid.urs @ 13:de04a3fc6b72
Stateless verification worked
author |
Adam Chlipala <adam@chlipala.net> |
date |
Sun, 02 Jan 2011 10:11:38 -0500 |
parents |
194577b60771 |
children |
35bc4da563dd |
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@13
|
3 datatype association_mode =
|
adam@13
|
4 Stateless
|
adam@13
|
5 | Stateful of {AssociationType : association_type,
|
adam@13
|
6 AssociationSessionType : association_session_type}
|
adam@13
|
7
|
adam@10
|
8 datatype authentication = AuthenticatedAs of string | Canceled | Failure of string
|
adam@8
|
9
|
adam@10
|
10 val authenticate : (authentication -> transaction page)
|
adam@13
|
11 -> {Association : association_mode,
|
adam@10
|
12 Identifier : string}
|
adam@10
|
13 -> transaction string
|
adam@4
|
14 (* Doesn't return normally if everything goes as planned.
|
adam@10
|
15 * Instead, the user is redirected to his OP to authenticate there.
|
adam@10
|
16 * Later, the function passed as the first argument should be called with the result. *)
|