Mercurial > openid

diff 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
line wrap: on
line diff
--- a/src/ur/openid.urs	Tue Dec 28 19:57:25 2010 -0500
+++ b/src/ur/openid.urs	Wed Dec 29 12:16:32 2010 -0500
@@ -1,3 +1,6 @@
-val authenticate : string -> transaction string
+datatype association_type = HMAC_SHA1 | HMAC_SHA256
+datatype association_session_type = NoEncryption | DH_SHA1 | DH_SHA256
+
+val authenticate : association_type -> association_session_type -> string -> transaction string
 (* Doesn't return normally if everything goes as planned.
  * Instead, the user is redirected to his OP to authenticate there. *)