public override AccessTokenEntry createAccessTokenEntry(string redirect_uri, Permissions scope, string state)
{
IDTokenAndAccessTokenEntry entry = new IDTokenAndAccessTokenEntry();
entry.redirect_uri = redirect_uri;
entry.scope = scope;
entry.state = state;
entry.id_token = Nondet.JsonWebToken();
return(entry);
}
public string findISSByClientIDAndAccessToken(string client_id, string UserID, string access_token)
{
string IdPSessionSecret = Nondet.String();
AccessToken token = new AccessToken();
token.token = access_token;
IDTokenAndAccessTokenEntry entry = (IDTokenAndAccessTokenEntry)getEntry(token, client_id, UserID);
Contract.Assume(entry.access_token == token);
return(IdPSessionSecret);
}
internal override AccessTokenEntry createAccessTokenEntry(string redirect_uri, HashSet<string> scope, string state)
{
IDTokenAndAccessTokenEntry entry = new IDTokenAndAccessTokenEntry();
entry.redirect_uri = redirect_uri;
entry.scope = scope;
entry.state = state;
entry.id_token = Nondet.JsonWebToken();
return entry;
}
public override AccessTokenEntry createAccessTokenEntry(string redirect_uri, Permissions scope, string state)
{
IDTokenAndAccessTokenEntry entry = new IDTokenAndAccessTokenEntry();
entry.redirect_uri = redirect_uri;
entry.scope = scope;
entry.state = state;
entry.id_token = Nondet.JsonWebToken();
return entry;
}
