Mercurial > openid
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. *) |