public string findISSByClientIDAndAccessToken(string client_id, string access_token)
{
string IdPSessinSecret = Nondet.String();
IDTokenAndAccessTokenEntry entry = (IDTokenAndAccessTokenEntry)getEntry(IdPSessinSecret, client_id);
Contract.Assume(entry.access_token == access_token);
return(IdPSessinSecret);
}
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 bool setEntry(string IdPSessionSecret, string client_id, _ID_Claim Entry)
{
IDTokenAndAccessTokenEntry IDTokenAndAccessTokenEntry = (IDTokenAndAccessTokenEntry)Entry;
if (IDTokenAndAccessTokenEntry == null)
{
return(false);
}
Dictionary[IdPSessionSecret] = new Dictionary <string, IDTokenAndAccessTokenEntry>();
Dictionary[IdPSessionSecret][client_id] = IDTokenAndAccessTokenEntry;
return(true);
}
