Mercurial > openid

comparison src/ur/openid.urs @ 8:870d99055dd1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
7:976121190b2d 8:870d99055dd1
1 val authenticate : string -> transaction string 1 datatype association_type = HMAC_SHA1 | HMAC_SHA256
2 datatype association_session_type = NoEncryption | DH_SHA1 | DH_SHA256
3
4 val authenticate : association_type -> association_session_type -> string -> transaction string
2 (* Doesn't return normally if everything goes as planned. 5 (* Doesn't return normally if everything goes as planned.
3 * Instead, the user is redirected to his OP to authenticate there. *) 6 * Instead, the user is redirected to his OP to authenticate there. *)