Mercurial > openid
view src/ur/openid.urs @ 9:426dd5c88df1
Fixed checking of nonce timestamp range
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 29 Dec 2010 14:17:27 -0500 |
parents | 870d99055dd1 |
children | 194577b60771 |
line wrap: on
line source
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. *)