annotate src/ur/openid.urs @ 8:870d99055dd1
Diffie-Hellman started but not fully tested; successfully checked signature from AOL
| author |
Adam Chlipala <adam@chlipala.net> |
| date |
Wed, 29 Dec 2010 12:16:32 -0500 |
| parents |
2d409aff8800 |
| children |
194577b60771 |
| 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@8
|
3
|
|
adam@8
|
4 val authenticate : association_type -> association_session_type -> string -> transaction string
|
|
adam@4
|
5 (* Doesn't return normally if everything goes as planned.
|
|
adam@4
|
6 * Instead, the user is redirected to his OP to authenticate there. *)
|
