annotate src/ur/openid.urs @ 12:c778455fe570
Diffie-Hellman seems to be working
| author |
Adam Chlipala <adam@chlipala.net> |
| date |
Sat, 01 Jan 2011 14:00:52 -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. *)
|
