Mercurial > openid
comparison 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 |
comparison
equal
deleted
inserted
replaced
12:c778455fe570 | 13:de04a3fc6b72 |
---|---|
1 datatype association_type = HMAC_SHA1 | HMAC_SHA256 | 1 datatype association_type = HMAC_SHA1 | HMAC_SHA256 |
2 datatype association_session_type = NoEncryption | DH_SHA1 | DH_SHA256 | 2 datatype association_session_type = NoEncryption | DH_SHA1 | DH_SHA256 |
3 datatype association_mode = | |
4 Stateless | |
5 | Stateful of {AssociationType : association_type, | |
6 AssociationSessionType : association_session_type} | |
7 | |
3 datatype authentication = AuthenticatedAs of string | Canceled | Failure of string | 8 datatype authentication = AuthenticatedAs of string | Canceled | Failure of string |
4 | 9 |
5 val authenticate : (authentication -> transaction page) | 10 val authenticate : (authentication -> transaction page) |
6 -> {AssociationType : association_type, | 11 -> {Association : association_mode, |
7 AssociationSessionType : association_session_type, | |
8 Identifier : string} | 12 Identifier : string} |
9 -> transaction string | 13 -> transaction string |
10 (* Doesn't return normally if everything goes as planned. | 14 (* Doesn't return normally if everything goes as planned. |
11 * Instead, the user is redirected to his OP to authenticate there. | 15 * Instead, the user is redirected to his OP to authenticate there. |
12 * Later, the function passed as the first argument should be called with the result. *) | 16 * Later, the function passed as the first argument should be called with the result. *) |