static public void init()
{
SignInIdP_Req = new AuthenticationRequest(); // PoirotMain.Nondet.AuthenticationRequest();
((AuthenticationRequest)SignInIdP_Req).Realm = PoirotMain.Nondet.String();
((AuthenticationRequest)SignInIdP_Req).IdPSessionSecret = PoirotMain.Nondet.String();
((AuthenticationRequest)SignInIdP_Req).return_to = PoirotMain.Nondet.String();
((AuthenticationRequest)SignInIdP_Req).SymT = PoirotMain.Nondet.String();
((AuthenticationRequest)SignInIdP_Req).identity = PoirotMain.Nondet.String();
((AuthenticationRequest)SignInIdP_Req).realm = PoirotMain.Nondet.String();
AS = new AuthorizationServerImpl(); ((AuthorizationServerImpl)AS).init();
RP = new For_vProgram();
}
public string GenerateURL(AuthenticationRequest req)
{
StringBuilder sb = new StringBuilder(endpointUrl);
sb.AppendFormat("?openid.claimed_id={0}&openid.identity={1}&openid.return_to={2}?SymT={6}&openid.realm={5}&openid.mode={3}&openid.ns={4}", HttpUtility.UrlEncode(req.claimed_id), HttpUtility.UrlEncode(req.identity), HttpUtility.UrlEncode(req.return_to), req.mode, HttpUtility.UrlEncode(req.ns), HttpUtility.UrlEncode(req.realm), HttpUtility.UrlEncode(req.SymT));
return sb.ToString();
}
public AuthenticationRequest RequestAuthentication(AuthenticationResponse resp)
{
var req = new AuthenticationRequest();
req.realm = this.Domain;
req.identity = "http://specs.openid.net/auth/2.0/identifier_select";
req.ns = "http://specs.openid.net/auth/2.0";
req.claimed_id = "http://specs.openid.net/auth/2.0/identifier_select";
req.mode = "checkid_setup";
req.return_to = this.Domain;
CST_Ops.recordme(this, resp, req);
return req;
}