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